diff options
-rw-r--r-- | distrib/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/.cvsignore b/distrib/.cvsignore index 5785b1369..e0bfbee45 100644 --- a/distrib/.cvsignore +++ b/distrib/.cvsignore @@ -14,3 +14,4 @@ contrib-* patch-* deb_build coq.spec +sun4u |