From 280d0946db99fd1e9b3c16aa8c4601806305a284 Mon Sep 17 00:00:00 2001 From: Alessandro Mauri Date: Sat, 12 Jun 2021 13:08:51 +0200 Subject: [PATCH] version 0.3 fixes: - fixed the mess of options and general inconsistencies between program man page and help message - fixed some cases where rivet should fail but didn't and specified return values for all exit conditions - fixed the header system, before the header would have been added inside of which is incorrect, browsers would fix it on the fly but still it is not correct. Now _header.html contents are put inside
at the beginning of - fixed