diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 12:19:44 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 13:55:50 +1000 |
| commit | 5df092cac4ddce70dafe8bef1cc8d460c805d985 (patch) | |
| tree | 646fba78a9e7d19cae14fc4cba4f2866095029af | |
| parent | faf6936079ba15570fe4e6835d9380d79986d011 (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 |