diff options
| author | Pierre-Marie Pédrot | 2013-11-30 19:34:46 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-11-30 19:51:44 +0100 |
| commit | e875e90d1d90aec22e6f206f04c4941cb5a3bcd1 (patch) | |
| tree | 169f2a52c8207f085ea365dcc1fb22c16c865f43 /plugins/xml | |
| parent | d5d15af811a487e65f8c10dfb68d5608f3722f8a (diff) | |
Fixing ltac constr variable handling in refine.
Diffstat (limited to 'plugins/xml')
0 files changed, 0 insertions, 0 deletions