diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2013-11-29 13:04:38 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2013-11-29 13:04:38 +0000 |
| commit | 33f242aaea3d761fb524c61855f677560c97069a (patch) | |
| tree | 8c4de14b223942cbea6c4e6a6d5ede38bb749807 /config/.ignore | |
| parent | 15da6d18042500c6e8f9698bf05bebcec456e9d3 (diff) | |
Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:
14278
14277
14276
14176
14175
14173
14172
14171
14169
14168
14167
These changes need to mature on their own branch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/.ignore')
| -rw-r--r-- | config/.ignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/.ignore b/config/.ignore index 24fdb45ca..9fc1c014f 100644 --- a/config/.ignore +++ b/config/.ignore @@ -2,4 +2,3 @@ m.h s.h Makefile config.sh -ocamlcomp |