diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:04:00 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2022-10-24 21:04:00 +0200 |
commit | 3422d8db505630a70bc89a4eee7db927b8e5ec2f (patch) | |
tree | f0c6e1ba7db9991f2bd38c9169f9921bfe5e61d8 /doc/dirstamp.txt | |
parent | df5167db909a88fb8e16dd20b37442495a6ac059 (diff) | |
parent | aab49e5a013c53ae812a143fe41add74e0677a61 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'doc/dirstamp.txt')
-rw-r--r-- | doc/dirstamp.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/dirstamp.txt b/doc/dirstamp.txt deleted file mode 100644 index 92c1696..0000000 --- a/doc/dirstamp.txt +++ /dev/null @@ -1,4 +0,0 @@ -Improved dirstamp: - -dirstamp.lst: - [ ! -e $@ -o -n "$(find dir/ -newer $@ -print -quit)" ] && touch $@ || :; |