diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-03-21 14:22:36 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-03-21 14:22:36 +0000 |
commit | f43d96aec71449e3b75e9fd732e87694cec5db8f (patch) | |
tree | 593eff77bb330585bc5b604d3f7aba186204d55d /coq.itarget | |
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 'coq.itarget')
0 files changed, 0 insertions, 0 deletions