Overview
| Comment: | Ignore generated Scribble support files |
|---|---|
| Timelines: | family | ancestors | descendants | both | doc-expansion |
| Files: | files | file ages | folders |
| SHA3-256: |
2c745dc97eae4581537a62508fafd784 |
| User & Date: | joel on 2020-01-19 03:46:49 |
| Other Links: | branch diff | manifest | tags |
Context
|
2020-01-19
| ||
| 21:31 | Merge ignore-glob updates to trunk check-in: 233fdc64 user: joel tags: trunk | |
| 04:36 | Add custom Scribble styles check-in: c7350de0 user: joel tags: doc-expansion | |
| 03:46 | Ignore generated Scribble support files check-in: 2c745dc9 user: joel tags: doc-expansion | |
|
2020-01-15
| ||
| 03:23 | Stub in more code docs check-in: 831c9996 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 |