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 | #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})([^\]]*)\]} | > | | 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]" |
︙ | ︙ |