From: Richard W.M. Jones Date: Sat, 18 Jan 2020 15:31:40 +0000 (+0000) Subject: build: Reorder .gitignore X-Git-Tag: v0.2~3 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ff4a8c81429495ae914d0dbeef9dbb50b2b1a00c;p=goals.git build: Reorder .gitignore --- diff --git a/.gitignore b/.gitignore index dcf5b7a..7e993ac 100644 --- a/.gitignore +++ b/.gitignore @@ -8,10 +8,6 @@ *.o /*.tar.gz -/local* - -/man/*.? -/man/*.?.txt .depend Goalfile @@ -27,6 +23,9 @@ Makefile /goals.spec /goals-*.src.rpm /install-sh +/local* +/man/*.? +/man/*.?.txt /run /src/config.ml /src/goals