summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@complang.org>2014-07-01 12:37:27 -0400
committerAdrian Thurston <thurston@complang.org>2014-07-01 12:37:27 -0400
commit24f78f17dff8d41d2e018ac8f56e1fe2eeb7d281 (patch)
tree162e7098228e590b2200d7eae9d0db2d30b94d07 /.gitignore
parent8f6c1cef9befbdfaef6e2a6601566187fadda235 (diff)
downloadcolm-24f78f17dff8d41d2e018ac8f56e1fe2eeb7d281.tar.gz
meaning of push/pop in list functions changed
* The push and pop functions now alter the head of the list. * Renamed append/remove_end to push_end/pop_end. * Added push_head and pop_head.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a94b3074..fa34a917 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,5 @@
/config.log
/config.status
/Makefile
+/compile
+/test-driver