diff index.html @ 556:80796ff2ae66 Dev_main

Actually the previous commit was broken. This contains a working and more elegant way of checking for the input file length. If the input file is empty, no error is triggered.
author Giulio Moro <giuliomoro@yahoo.it>
date Tue, 23 Feb 2016 14:39:06 +0000
parents d7b1b270c13a
children 328f24798462 ce3d4d6d01b8
line wrap: on
line diff