2022-12-30 23:22:17 +01:00
|
|
|
# backup and temporary files
|
2018-07-03 20:46:57 +02:00
|
|
|
*~
|
2022-12-30 23:22:17 +01:00
|
|
|
|
|
|
|
|
# patches
|
2018-08-24 17:09:40 +02:00
|
|
|
*.patch
|
2022-12-30 23:22:17 +01:00
|
|
|
|
|
|
|
|
# html files (as generated from markdown)
|
2019-01-02 16:24:46 +01:00
|
|
|
*.html
|
