| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:28:23 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 13:28:23 +0200 |
| commit | de2a0107a5a7a08a5470e54ed2ed792eebfe87ba (patch) | |
| tree | 30963d3eebb7802a865a1b2d8038502c0a521c11 /Makefile | |
| parent | bba41321ac671463cd1c778cb88d87647e4ca906 (diff) | |
Just did a quick test with IDP. It worked.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions