From 34a77f7822126263fed5c72aedaa65b58fee94ac Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Mon, 07 Dec 2015 12:07:15 -0500 Subject: Merge branch 'feature/use-shld' --- (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index cf7cfbb..b4b96fa 100644 --- a/.gitignore +++ b/.gitignore @@ -17,14 +17,18 @@ Makefile.in config.log config.status Makefile +config.sh # Files generated by Makefile -src/*[^.]?? -lib/*.sm -lib/*/*.sm +*.sho +prokit locale/*.ms man/*.[18] man/*.[18].mdwn *-*/ *-*.tar* .builddirstamp +tests/*[^.]?? +tests/*.log +tests/*.trs +test-suite.log -- cgit v0.9.1