summary refs log tree commit diff
path: root/extra/palaver/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'extra/palaver/.gitignore')
-rw-r--r--extra/palaver/.gitignore3
1 files changed, 0 insertions, 3 deletions
diff --git a/extra/palaver/.gitignore b/extra/palaver/.gitignore
deleted file mode 100644
index d92ce2e..0000000
--- a/extra/palaver/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-*.o
-config.mk
-pounce-palaver
istedit.c?id=fc19da5543c6740635578cfce7dfbf69374ec9a6&follow=1'>Source .editrc before applying -v or -eJune McEnroe 2019-12-20Disable signing commitsJune McEnroe 2019-12-19Ignore about-filterJune McEnroe 2019-12-19Fix matching make tags with no sourcesJune McEnroe 2019-12-19Avoid matching := assignments as tagsJune McEnroe 2019-12-18Hide line numbers when rendering mdocJune McEnroe 2019-12-18Customize cgit CSSJune McEnroe 2019-12-18Use :target rather than :focus pseudo-classJune McEnroe 2019-12-18Copy cgit auxiliary binaries properlyJune McEnroe 2019-12-18Add git.causal.agency cgit configJune McEnroe 2019-12-18Bail from hi if input is binaryJune McEnroe 2019-12-16Post "cgit setup"June McEnroe