|  | 8eea348112   | change `` bash headers to ``sh | 2025-08-22 15:59:04 +02:00 |  | 
			
				
					|  | a55712032b   | make all file names lowercase | 2025-08-14 06:35:44 +02:00 |  | 
			
				
					|  | aa32bfc249   | bibliographies with recfiles | 2025-02-14 13:05:28 +01:00 |  | 
			
				
					|  | eaec01076b   | ip addresses with recfiles | 2025-02-13 17:39:38 +01:00 |  | 
			
				
					|  | d2934bf8a3   | recfile fixes | 2025-02-12 23:01:50 +01:00 |  | 
			
				
					|  | 2184e9d663   | tidy tags | 2025-02-11 21:26:39 +01:00 |  | 
			
				
					|  | fd850761f3   | add tags | 2025-02-11 13:21:05 +01:00 |  | 
			
				
					|  | 53e86fb86e   | board games with recfiles | 2025-02-10 01:02:12 +01:00 |  | 
			
				
					|  | 8b7912a68f   | extend recfiles example | 2025-02-07 17:07:38 +01:00 |  |