From 0c813d081c4696571713b8fff83b6178febfeca5 Mon Sep 17 00:00:00 2001 From: Rafa de la Torre Date: Wed, 13 Apr 2016 18:15:19 +0200 Subject: [PATCH] Ignore develop artifacts Ignore artifacts produced by `sudo make install`. --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index e43b0f9..4e3e7f4 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,4 @@ .DS_Store +src/pg/observatory--current--dev.sql +src/pg/observatory--dev--current.sql +src/pg/observatory--dev.sql