diff options
| author | Matthieu Sozeau | 2014-08-03 21:16:44 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-08-03 23:39:02 +0200 |
| commit | ef72be87579be34e9454fe1f785ff36a9c25246c (patch) | |
| tree | 39a97daa3b94cf76bd6e5c0ad43e309eed4e08df /plugins | |
| parent | 7002b3daca6da29eadf80019847630b8583c3daf (diff) | |
- Fix handling of opaque polymorphic definitions which were turned transparent.
- Decomment code in reductionops forgotten after debugging.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions