diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-15 09:15:09 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-15 09:15:09 +0200 |
commit | 443a3f3d610d1a6a6fbd3b49a8145863e7ec9f62 (patch) | |
tree | 78d09e502c5ce93758f7a4263cbf72039fad0f6b /Makefile.ide | |
parent | e129410314b2e4e6ed7dc2c0814332a67444b01a (diff) |
fix test-suite/ide Makefile (stupid typo)
Diffstat (limited to 'Makefile.ide')
0 files changed, 0 insertions, 0 deletions