diff options
| author | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 22:13:03 +0200 |
| commit | 27a6d4a87058fdbc93c4575ea8c7af68237787a4 (patch) | |
| tree | f255d3ea3d7d40d893577f356a9495ee4c8c9651 /dev/base_include | |
| parent | 3a95d20e88474ecf95f66ba0ac1ff7729be496c7 (diff) | |
Revert "Fixing parsing of constr argument of ltac functions at level 8 in the"
This reverts commit e01dabf9f7aa530c4c70aadf464097cd102b1df6.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions