| 
					
						
							
								article.html
							
						
					
				 | 
				
					
						
							
							Promote mantis as article
						
					
				 | 
				2019-06-19 13:58:22 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								generate_footer.sh
							
						
					
				 | 
				
					
						
							
							Add Tup generator
						
					
				 | 
				2019-06-09 19:00:25 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								header.html
							
						
					
				 | 
				
					
						
							
							Use webRoot for relative links
						
					
				 | 
				2019-06-14 13:58:21 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								nav.html
							
						
					
				 | 
				
					
						
							
							Promote mantis as article
						
					
				 | 
				2019-06-19 13:58:22 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								pandoc.html
							
						
					
				 | 
				
					
						
							
							Use webRoot for relative links
						
					
				 | 
				2019-06-14 13:58:21 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								project.html
							
						
					
				 | 
				
					
						
							
							Add year to projects
						
					
				 | 
				2019-06-19 13:47:47 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								Tupfile
							
						
					
				 | 
				
					
						
							
							Add Tup generator
						
					
				 | 
				2019-06-09 19:00:25 +02:00 |