From 24f78f17dff8d41d2e018ac8f56e1fe2eeb7d281 Mon Sep 17 00:00:00 2001 From: Adrian Thurston Date: Tue, 1 Jul 2014 12:37:27 -0400 Subject: 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. --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') 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 -- cgit v1.2.1