diff options
| author | Théo Zimmermann | 2019-04-24 19:22:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-24 19:22:59 +0200 |
| commit | 85e11b39b4ef82379825106751f871978af5a131 (patch) | |
| tree | d50b2db0a79ce2af82deafb6a910b671bc9239b2 /Makefile.ide | |
| parent | 9834f23fe9bc8a659ed36c426d557e94179476b0 (diff) | |
[refman] Properly define token regexp.
Diffstat (limited to 'Makefile.ide')
0 files changed, 0 insertions, 0 deletions