h
							
						 
					 | 
					
						
						
						
						
							
						
						
							77d7676753
							
						
					 | 
					
						
						
							
							nvim and metropolis
						
						
						
						
						
						
					 | 
					
						2024-06-24 17:24:25 -04:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								h
							
						 
					 | 
					
						
						
						
						
							
						
						
							8f8f7c229c
							
						
					 | 
					
						
						
							
							hyperref
						
						
						
						
						
						
					 | 
					
						2024-02-08 02:01:17 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								h
							
						 
					 | 
					
						
						
						
						
							
						
						
							0b8c66b95a
							
						
					 | 
					
						
						
							
							opname
						
						
						
						
						
						
					 | 
					
						2024-01-29 22:19:31 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								h
							
						 
					 | 
					
						
						
						
						
							
						
						
							45410393da
							
						
					 | 
					
						
						
							
							tex changes
						
						
						
						
						
						
					 | 
					
						2023-09-25 14:10:12 -04:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							adedd29830
							
						
					 | 
					
						
						
							
							ocaml + some tex updates
						
						
						
						
						
						
					 | 
					
						2023-09-03 20:55:58 -04:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							b8c0177236
							
						
					 | 
					
						
						
							
							updates
						
						
						
						
						
						
					 | 
					
						2023-02-09 18:06:49 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							4ef73f733e
							
						
					 | 
					
						
						
							
							part
						
						
						
						
						
						
					 | 
					
						2023-02-09 06:58:00 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							183b18778e
							
						
					 | 
					
						
						
							
							Merge branch 'master' of https://git.evilmuff.in/evilmuffinha/dotfiles
						
						
						
						
						
						
					 | 
					
						2023-02-08 03:09:24 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6d6f4b1d17
							
						
					 | 
					
						
						
							
							updates
						
						
						
						
						
						
					 | 
					
						2023-02-08 03:09:21 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							cf5cd9e8ad
							
						
					 | 
					
						
						
							
							updates
						
						
						
						
						
						
					 | 
					
						2023-02-08 03:04:29 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6052cd8df0
							
						
					 | 
					
						
						
							
							changes to snippets
						
						
						
						
						
						
					 | 
					
						2022-12-16 19:09:01 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							a2bf910fba
							
						
					 | 
					
						
						
							
							more snips
						
						
						
						
						
						
					 | 
					
						2022-12-15 18:44:43 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							32c8859c45
							
						
					 | 
					
						
						
							
							tex
						
						
						
						
						
						
					 | 
					
						2022-12-12 00:13:40 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							365627df04
							
						
					 | 
					
						
						
							
							tex frame
						
						
						
						
						
						
					 | 
					
						2022-12-08 18:05:40 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							581930e793
							
						
					 | 
					
						
						
							
							ye
						
						
						
						
						
						
					 | 
					
						2022-12-04 23:37:31 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							2b1536fb4b
							
						
					 | 
					
						
						
							
							simple notes
						
						
						
						
						
						
					 | 
					
						2022-12-04 01:27:12 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							d2910d5884
							
						
					 | 
					
						
						
							
							clean up
						
						
						
						
						
						
					 | 
					
						2022-11-21 00:05:55 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							c76364784e
							
						
					 | 
					
						
						
							
							time reset
						
						
						
						
						
						
					 | 
					
						2022-11-19 13:46:44 -05:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							6b182fc571
							
						
					 | 
					
						
						
							
							beamer themes
						
						
						
						
						
						
					 | 
					
						2022-11-09 19:09:19 -05:00 | 
					
					
						
						
							
							
							
						
					 |