diff options
| author | ppedrot | 2013-03-21 14:22:36 +0000 |
|---|---|---|
| committer | ppedrot | 2013-03-21 14:22:36 +0000 |
| commit | f43d96aec71449e3b75e9fd732e87694cec5db8f (patch) | |
| tree | 593eff77bb330585bc5b604d3f7aba186204d55d /kernel/nativecode.mli | |
| parent | 7f3a79cd9426b009021e2096805f94c5641988da (diff) | |
Removing mandatory suffixes for library files.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16332 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions