summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-07 23:01:44 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-07 23:01:44 +0000
commit20e1cc2617c6774ce646fcf9f60029dd131442d4 (patch)
tree0d70bb94ada5377ff4c168660245f353e899f5a7
parent070635cb6e0b42c7a485189d1a58db04482de0f8 (diff)
downloadmdk-20e1cc2617c6774ce646fcf9f60029dd131442d4.tar.gz
mdk-20e1cc2617c6774ce646fcf9f60029dd131442d4.tar.bz2
*** empty log message ***
-rw-r--r--samples/.cvsignore1
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