| 
					
						
							
								
								
									
									
									content
									
								
							
						
					
				 | 
				
					
						
							
							Add margin after figures, highlights, and p tags
						
					
				 | 
				2022-09-25 08:33:25 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									data/nethack
									
								
							
						
					
				 | 
				
					
						
							
							Update nutmeg Nethack logfile
						
					
				 | 
				2022-04-29 01:50:53 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									i18n
									
								
							
						
					
				 | 
				
					
						
							
							Remove unused localizations
						
					
				 | 
				2022-04-09 09:17:11 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									scripts
									
								
							
						
					
				 | 
				
					
						
							
							Update import-nethack-logfile script
						
					
				 | 
				2022-04-24 17:08:21 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
									
									
									static
									
								
							
						
					
				 | 
				
					
						
							
							Do not uppercase the dates of posts
						
					
				 | 
				2022-09-25 08:50:39 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								.gitignore
							
						
					
				 | 
				
					
						
							
							Ignore .hugo_build.lock
						
					
				 | 
				2022-01-23 11:49:49 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								.gitmodules
							
						
					
				 | 
				
					
						
							
							Update remote URL for paper submodule
						
					
				 | 
				2021-09-29 08:05:49 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								deploy.sh
							
						
					
				 | 
				
					
						
							
							Update deploy.sh
						
					
				 | 
				2022-01-23 11:49:23 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dev_server.sh
							
						
					
				 | 
				
					
						
							
							Add dev_server.sh script
						
					
				 | 
				2022-01-23 11:55:27 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								erynwells-me.code-workspace
							
						
					
				 | 
				
					
						
							
							Add a VSCode workspace
						
					
				 | 
				2021-09-29 08:06:20 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								Makefile
							
						
					
				 | 
				
					
						
							
							Add a Makefile with a deploy target
						
					
				 | 
				2022-04-13 07:47:02 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								README.md
							
						
					
				 | 
				
					
						
							
							Initial commit
						
					
				 | 
				2015-01-09 08:05:10 -08:00 |