Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | small fix. |
|---|---|
| Timelines: | family | ancestors | descendants | both | dresden |
| Files: | files | file ages | folders |
| SHA1: |
ced1483e1b405a0642fd3c5625ae3718 |
| User & Date: | j 2013-01-10 22:44:38 |
Context
|
2013-01-11
| ||
| 12:24 | tidy up. check-in: 3ac24d1cd2 user: j tags: dresden | |
|
2013-01-10
| ||
| 22:44 | small fix. check-in: ced1483e1b user: j tags: dresden | |
| 21:22 | minor tidy up. check-in: b7f21c3555 user: j tags: dresden | |
Changes
Changes to fsl.
386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 |
#these parameters should be user settable:
set maxlen 78
set indent {........ }
set indent { }
set out {}
set buf ""
set rgxdate {^=== [0-9-]+ ===$}
set rgxtime {^\d\d:\d\d:\d\d}
set rgxrvsn {\[([a-f\d]{10})([^\]]*)\]}
set rgxuser {\(user: .* tags: .*\)}
set maxrev [dict size $revnums]
foreach record $records {
# temporarily get rid of the record terminating newline:
set record "[string trimright $record]"
|
> | |
386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 |
#these parameters should be user settable:
set maxlen 78
set indent {........ }
set indent { }
set out {}
set buf ""
set usertag ""
set rgxdate {^=== [0-9-]+ ===$}
set rgxtime {^\d\d:\d\d:\d\d}
set rgxrvsn {\[([a-f\d]{10})([^\]]*)\]}
set rgxuser {\(user: .*\)}
set maxrev [dict size $revnums]
foreach record $records {
# temporarily get rid of the record terminating newline:
set record "[string trimright $record]"
|