From ff4a8c81429495ae914d0dbeef9dbb50b2b1a00c Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 18 Jan 2020 15:31:40 +0000 Subject: [PATCH] build: Reorder .gitignore --- .gitignore | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 -- 1.8.3.1