diff options
| author | Siri Reiter <siri@jones.dk> | 2019-03-14 19:21:52 +0100 |
|---|---|---|
| committer | Siri Reiter <siri@jones.dk> | 2019-03-14 19:21:52 +0100 |
| commit | 4708e05bad1fa253eca6335645f4209003515110 (patch) | |
| tree | 3af79a68ccd625b895737c837d09ca6c62e0ba90 /jul | |
| parent | 76792fc1ef07e478efd31d6433b892b76290cd69 (diff) | |
Move more directive from numbered list (splitting the count). Compact space at the bottom of the text.
Diffstat (limited to 'jul')
0 files changed, 0 insertions, 0 deletions