diff options
| author | Matthieu Sozeau | 2014-01-29 14:20:00 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:57 +0200 |
| commit | c60dbe680933a928726d590f1134b88626771d22 (patch) | |
| tree | ad21a0b9188e80d29aab797f99f53792464f3732 /plugins/xml/xmlcommand.mli | |
| parent | 8a905458039b631165d068bbf62f88e11eb36eb1 (diff) | |
Fix context forgetting universes (temporary, the fix is not exactly right).
Diffstat (limited to 'plugins/xml/xmlcommand.mli')
0 files changed, 0 insertions, 0 deletions