diff options
| author | ppedrot | 2013-01-22 21:30:04 +0000 |
|---|---|---|
| committer | ppedrot | 2013-01-22 21:30:04 +0000 |
| commit | f6dd0d9ef10fe8d9b742001fef6f68f06ac05218 (patch) | |
| tree | 6155dd587056c7c9e665e9f0e3098dff295ed1c2 /kernel/nativelib.ml | |
| parent | 6b908b5185a55a27a82c2b0fce4713812adde156 (diff) | |
Added .native to .gitignore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16137 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions