diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:19:44 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:19:44 +1000 |
| commit | a173cbc219b58b8042a7e4f0c57fc956f257191f (patch) | |
| tree | c1c63c3b066bbab53e70ed28e41cf3e450d6b6a4 | |
| parent | 6c53280b8d723acdff83e6333620b0958f8b600e (diff) | |
updating gitignore
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,6 +13,8 @@ *.dyn_o *.dyn_hi *.hp +*~ +*# /doc/haddock /doc/haddock.ps |