Skip to content
Snippets Groups Projects
Commit 1041bec5 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Fix a bug in the implementation of diese (#). 

Actually, it was a misunderstanding of mine (R1) ; the behavior was consistent
with the lv6 doc, but not with the v4 behavior...

Indeed, # means "at most 1 among n", not "exactly one among n" as I tought...
parent 8bfe5e4c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment