diff options
| author | Blaž Hrastnik | 2020-10-20 06:42:53 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-12-03 04:10:34 +0000 |
| commit | 49254d7180c8b92be5426cab20914b0343c9282c (patch) | |
| tree | d779982070907c581511b13598ec148c3055f3a6 /.gitignore | |
| parent | f9bfba4d96f80eb41beb91702558f6f165a0e70f (diff) | |
Total mess but it works: diagnostic marking.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions