From 05ba1a1e36136bf1febbea56ecb9662ed351899a Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Sun, 9 Jul 2023 15:08:56 +0200
Subject: Make `make deploy` do nothing unless sources are updated

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4153053..7753449 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 /public
 /.deploystamp
 /.formatstamp
+/.compressstamp
 .direnv
 /result
-- 
cgit 1.4.1