Snippets Groups Projects

Commit 0b7f3ab0 authored 4 years ago by Jan Trávníček

allow parsing of double in the cli

parent 3eedfe35

No related branches found

No related tags found

Checking pipeline status

Hide whitespace changes

Inline Side-by-side

Showing with 64 additions and 5 deletions

Tomáš Pecka @peckato1 · 4 years ago

Owner

I am a simple man. I see double, I upvote (where is the upvote button for commits?!).

I dont think we use double anywhere except the automata generators (where integer suffices) but thank youu :-)

I am a simple man. I see double, I upvote (where is the upvote button for commits?!). I dont think we use double anywhere except the automata generators (where integer suffices) but thank youu :-)

Please register or to comment