Overview
Comment: | [build] bookmark display update |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | build | rg |
Files: | files | file ages | folders |
SHA3-256: |
55569dd99960f23d760252219aa11bf4 |
User & Date: | olr on 2018-06-25 07:24:07 |
Other Links: | branch diff | manifest | tags |
Context
2018-06-25
| ||
08:33 | [fr] bookmark update check-in: d9e767938c user: olr tags: fr, rg | |
07:24 | [build] bookmark display update check-in: 55569dd999 user: olr tags: build, rg | |
07:20 | [fr] ajout de !! à la fin des bookmarks pour éviter la suppression automatique des espaces en fin de ligne check-in: c8714ac3a1 user: olr tags: fr, rg | |
Changes
Modified compile_rules.py from [ac174b0844] to [45224279a8].
︙ | |||
482 483 484 485 486 487 488 | 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 | - + - + | # options lOpt.append(sLine) elif sLine.startswith("!!"): # bookmark m = re.match("!!+", sLine) nExMk = len(m.group(0)) if sLine[nExMk:].strip(): |
︙ |