diff options
Diffstat (limited to 'app')
| -rw-r--r-- | app/Main.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Main.hs b/app/Main.hs index e1ae560..a51ba1e 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -171,7 +171,7 @@ -- would be more appropriate? -- -- I am sympathetic to random identifiers, cf. --- @should-automatically-generated-ids-be-random, as long as they are an +-- should-automatically-generated-ids-be-random, as long as they are an -- additional mechanisam (so that we can ditch them, should they not work out). -- TODO Only separate generated tags with a blank line when description does not end with tags |