diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/cc/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/correctness/.cvsignore | 2 | ||||
| -rw-r--r-- | contrib/dp/.cvsignore | 2 | ||||
| -rw-r--r-- | contrib/extraction/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/extraction/test/.cvsignore | 9 | ||||
| -rw-r--r-- | contrib/field/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/fourier/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/funind/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/omega/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/ring/.cvsignore | 1 | ||||
| -rw-r--r-- | contrib/romega/.cvsignore | 1 |
12 files changed, 0 insertions, 22 deletions
diff --git a/contrib/.cvsignore b/contrib/.cvsignore deleted file mode 100644 index 7835a7915..000000000 --- a/contrib/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -why diff --git a/contrib/cc/.cvsignore b/contrib/cc/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/cc/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/correctness/.cvsignore b/contrib/correctness/.cvsignore deleted file mode 100644 index 9408ea1c8..000000000 --- a/contrib/correctness/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -psyntax.ppo -*.v8 diff --git a/contrib/dp/.cvsignore b/contrib/dp/.cvsignore deleted file mode 100644 index 27102315a..000000000 --- a/contrib/dp/.cvsignore +++ /dev/null @@ -1,2 +0,0 @@ -test.why -test_why* diff --git a/contrib/extraction/.cvsignore b/contrib/extraction/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/extraction/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/extraction/test/.cvsignore b/contrib/extraction/test/.cvsignore deleted file mode 100644 index 20414aab5..000000000 --- a/contrib/extraction/test/.cvsignore +++ /dev/null @@ -1,9 +0,0 @@ -theories -ml2v -v2ml -hs2v -v2hs -log -*.hi -*.hs -*.hc diff --git a/contrib/field/.cvsignore b/contrib/field/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/field/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/fourier/.cvsignore b/contrib/fourier/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/fourier/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/funind/.cvsignore b/contrib/funind/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/funind/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/omega/.cvsignore b/contrib/omega/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/omega/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/ring/.cvsignore b/contrib/ring/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/ring/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 diff --git a/contrib/romega/.cvsignore b/contrib/romega/.cvsignore deleted file mode 100644 index c446fcb87..000000000 --- a/contrib/romega/.cvsignore +++ /dev/null @@ -1 +0,0 @@ -*.v8 |