Overview
| Comment: | Merge ignore-glob updates to trunk |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
233fdc645cac97833563d5cac75f25ed |
| User & Date: | joel on 2020-01-19 21:31:12 |
| Other Links: | manifest | tags |
Context
|
2020-01-22
| ||
| 02:47 | Improve front page a bit check-in: 23737623 user: joel tags: trunk | |
|
2020-01-19
| ||
| 21:31 | Merge ignore-glob updates to trunk check-in: 233fdc64 user: joel tags: trunk | |
| 21:29 | Prevent duplicate inserts in article cache check-in: 3ab1b16f user: joel tags: trunk | |
| 03:46 | Ignore generated Scribble support files check-in: 2c745dc9 user: joel tags: doc-expansion | |
Changes
Modified .fossil-settings/ignore-glob from [76dda5be] to [cd6321cb].
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | + + | *compiled/* *.poly.pm *.woff* x-*/* *.*~ web-extra/martin.css scribbled/* code-docs/*.css code-docs/*.js */images/* *.db *.sqlite *.pdf *.ltx *.html *.out *.ltx *.aux *.log *.xml *.toc *.mark |