icons/clips/plus.png@8f6de46a27e2
icons/clips/plus.png
Sat, 16 Mar 2013 00:35:36 +0200
- author
- Santeri Piippo <crimsondusk64@gmail.com>
- date
- Sat, 16 Mar 2013 00:35:36 +0200
- changeset 12
- 8f6de46a27e2
- parent 1
- 001d6cfb2d86
- child 730
- 9f5ede4c84c1
- permissions
- -rw-r--r--
Check whether the numeric arguments of lines really are numeric, and treat lines that don't pass this check as gibberish
