chiark / gitweb /
updated version
[userv.git] / .cvsignore
index e363f6639550d5cf6ada6929ad9ad11dc4b67474..f942bde7e53c2411522ec476ef3802322edd82f3 100644 (file)
@@ -25,3 +25,6 @@ shipcheck
 
 userv-*.tar.gz
 build
+
+spec.tex
+spec.html