diff options
| -rw-r--r-- | mixutils/.cvsignore | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/mixutils/.cvsignore b/mixutils/.cvsignore index 349354d..284c074 100644 --- a/mixutils/.cvsignore +++ b/mixutils/.cvsignore @@ -4,3 +4,4 @@ Makefile.in  mixasm  mixcmp  mixvm +semantic.cache | 
