aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/user/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/.gitignore b/doc/user/.gitignore
index 2807077..cdceaa5 100644
--- a/doc/user/.gitignore
+++ b/doc/user/.gitignore
@@ -11,6 +11,7 @@ user.lout.*
user.li*
user.ps
user.pdf
+user.sui
*.png
*.jpg
*.eps