7 jaren geleden · 7324956927
--- a/banner.txt
+++ b/banner.txt
@@ -4,5 +4,5 @@
 
				 # This file is generated through 'make all'. 
			
 
				 # If you need to make changes, make your changes
			
 
				 # to the corresponding .j file and then rerun
			
 
				-# make all
			
 
				+# `make all`
			
 
				 ###############################################