diff options
| author |  Johannes Christ <[email protected]> | 2018-09-19 21:15:40 +0200 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2018-09-19 21:25:40 +0200 |
| commit | f25e737aa6a2215a40049afdb0245d16408fd489 (patch) | |
| tree | cc2cd079ae9470889276f3cedc847299f7004853 /docs/README.md | |
| parent | Ignore all unneeded files. (diff) | |
Remove headers after compilation.
Diffstat (limited to 'docs/README.md')
0 files changed, 0 insertions, 0 deletions