diff options
| author | Enrico | 2016-05-16 21:55:03 +0200 |
|---|---|---|
| committer | Enrico | 2016-05-16 21:55:03 +0200 |
| commit | d9cecc8f2f1d38947e4889b996c42b26c08f9be1 (patch) | |
| tree | 5a91b36225d00d951e228aaa18ab69c9c27fcb38 /mathcomp/Make | |
| parent | b40d797a0c1b667857364ebed489a6e87e7d3f98 (diff) | |
| parent | 9a33b2edbd1b44b37a423458de2970a174795650 (diff) | |
Merge pull request #44 from ppedrot/partial-fix
Fix compilation after the renaming of Lexer into CLexer.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions