grr... the syntax of .gitignore is one file per line

85da20cd · Jean-Christophe Filliâtre · b263a0c9 · 85da20cd
Commit 85da20cd authored Nov 16, 2010 by Jean-Christophe Filliâtre
--- a/examples/programs/.gitignore
+++ b/examples/programs/.gitignore
@@ -2,4 +2,5 @@ next_digit_sum
 vstte10_max_sum
 vstte10_search_list
 vstte10_aqueue
-insertion_sort_list mergesort_list
+insertion_sort_list
+mergesort_list