diff options
| author | ppedrot | 2012-09-09 20:45:06 +0000 |
|---|---|---|
| committer | ppedrot | 2012-09-09 20:45:06 +0000 |
| commit | 56dc4da6ddafe885f6be0dcb300a6449541eab35 (patch) | |
| tree | 91b0a98f39158b5772ebd4263c8ae67ab36a729c /lib/interface.mli | |
| parent | b373c5b329230e517d0c5c92379e09b5e4566f9c (diff) | |
Fixed bug #2895
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15785 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/interface.mli')
0 files changed, 0 insertions, 0 deletions