icons/file-save.png@8f6de46a27e2
icons/file-save.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 5
- 727e02d6b87a
- child 159
- 7afedbbefeb0
- 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
