Makefile | 35 14 + 21 - 0 !
1 file changed, 14 insertions(+), 21 deletions(-)

 hardening

Makefile | 7 3 + 4 - 0 !
1 file changed, 3 insertions(+), 4 deletions(-)

 enable_clean

commline.c | 3 0 + 3 - 0 !
1 file changed, 3 deletions(-)

 remove_pause

Makefile | 2 2 + 0 - 0 !
1 file changed, 2 insertions(+)

 define_linux

coresp.c | 2 1 + 1 - 0 !
menu.c | 6 3 + 3 - 0 !
tester.c | 2 1 + 1 - 0 !
3 files changed, 5 insertions(+), 5 deletions(-)

 spelling

codons.c | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 helpfile_location

commline.c | 189 96 + 93 - 0 !
1 file changed, 96 insertions(+), 93 deletions(-)

 fix_link_name_clashes

menu.c | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 remove_nondeterminism