diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:19:44 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 14:06:43 +1000 |
| commit | 6b48872222cc21e864e637055d95c71ff911fddf (patch) | |
| tree | 4003456cf2ae19815b287830e31c19ead0257877 | |
| parent | d6d4c8ad32ef751ced0adb36ea67e1dd1278c0b6 (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 |