diff options
| author | Juanma Barranquero <[email protected]> | 2005-07-28 08:29:30 +0000 |
|---|---|---|
| committer | Juanma Barranquero <[email protected]> | 2005-07-28 08:29:30 +0000 |
| commit | 483e28ad9993af64603145f183f75f666da16a05 (patch) | |
| tree | f8a2a95fd6a7d2079df4c592c28e05aba06172e4 | |
| parent | 2323af312b331903547aae9d1ac0a0b7e32da1f0 (diff) | |
Add `icons' (for in-place installs).
| -rw-r--r-- | etc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/.gitignore b/etc/.gitignore index 38c525889b..15e45da436 100644 --- a/etc/.gitignore +++ b/etc/.gitignore @@ -1,4 +1,5 @@ fns-* +icons *.ps *.log *.dvi |