diff options
| -rw-r--r-- | doc/user/.gitignore | 1 |
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 |