From d3820e1197755f641071c4d72aaf6569268f1438 Mon Sep 17 00:00:00 2001 From: Kamil Shakirov Date: Mon, 2 Mar 2020 14:21:43 +0600 Subject: [PATCH] Improve .gitignore patterns --- .gitignore | 10 +++++----- dist/.gitignore | 2 +- libs/network/.gitignore | 2 +- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/.gitignore b/.gitignore index 044909b..1504293 100644 --- a/.gitignore +++ b/.gitignore @@ -8,11 +8,11 @@ idris2 runtests -dist/idris2.c +/dist/idris2.c -docs/_build/ +/docs/_build/ -libs/**/build -tests/**/output +/libs/**/build +/tests/**/output -src/YafflePaths.idr +/src/YafflePaths.idr diff --git a/dist/.gitignore b/dist/.gitignore index 3277305..2b2080d 100644 --- a/dist/.gitignore +++ b/dist/.gitignore @@ -3,4 +3,4 @@ *.o *.obj -idris2 +/idris2 diff --git a/libs/network/.gitignore b/libs/network/.gitignore index 42df76b..54d9b92 100644 --- a/libs/network/.gitignore +++ b/libs/network/.gitignore @@ -1,5 +1,5 @@ -network-tests +/network-tests *.o *.so