diff options
author | Maria Matejka <mq@ucw.cz> | 2019-08-14 10:14:15 +0200 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2020-04-28 16:21:06 +0200 |
commit | 59a86cbc7c5d5640b16ca9d8a99be979b11a4c68 (patch) | |
tree | 83d72480fd23e7bb72e74ab627af784f36c607ae /.gitignore | |
parent | 3c838ad9fdc553c658ee2fbb466ab8ab4cd14805 (diff) |
Makefile rule for static analyzer
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions