Overview
| Comment: | Tell Fossil to ignore Pollen docs for now |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
0d3ef4aa4780112f5f4ee461e6838335 |
| User & Date: | joel on 2019-03-03 21:35:26 |
| Other Links: | manifest | tags |
Context
|
2019-03-03
| ||
| 22:51 | Add pagetree constants to dust.rkt check-in: 5256383c user: joel tags: trunk | |
| 21:35 | Tell Fossil to ignore Pollen docs for now check-in: 0d3ef4aa user: joel tags: trunk | |
| 21:34 | More code docs check-in: a4190d26 user: joel tags: trunk | |
Changes
Modified .fossil-settings/ignore-glob from [796505de] to [9123c029].
1 2 3 4 5 6 7 8 | *compiled/* *.woff* x-*/* *.*~ web-extra/martin.css scribbled/* *.sqlite *.pdf | > | 1 2 3 4 5 6 7 8 9 | *compiled/* *.poly.pm *.woff* x-*/* *.*~ web-extra/martin.css scribbled/* *.sqlite *.pdf |
| ︙ | ︙ |