diff options
| author | Gaëtan Gilbert | 2019-08-24 12:11:28 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-08-24 12:11:54 +0200 |
| commit | ce235f3d84faef3f4cc5d00373a50e03031541e5 (patch) | |
| tree | 750c9c7b082f2b33d919b380b2899870b07de0e5 /Makefile.ide | |
| parent | 3083b2dcd9da8108df8118be2bc87f955311d2bd (diff) | |
saner cond_flags in makefile
Diffstat (limited to 'Makefile.ide')
0 files changed, 0 insertions, 0 deletions