diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-07 23:01:44 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-07 23:01:44 +0000 |
commit | 20e1cc2617c6774ce646fcf9f60029dd131442d4 (patch) | |
tree | 0d70bb94ada5377ff4c168660245f353e899f5a7 | |
parent | 070635cb6e0b42c7a485189d1a58db04482de0f8 (diff) | |
download | mdk-20e1cc2617c6774ce646fcf9f60029dd131442d4.tar.gz mdk-20e1cc2617c6774ce646fcf9f60029dd131442d4.tar.bz2 |
*** empty log message ***
-rw-r--r-- | samples/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/samples/.cvsignore b/samples/.cvsignore index f21bbe7..f1dc6ac 100644 --- a/samples/.cvsignore +++ b/samples/.cvsignore @@ -11,6 +11,7 @@ disk6.dev disk7.dev hello.mix hello.mls +mixvm.core paper.dev primes.mix primes.mls |