Deleting frozen, useless now.
This commit is contained in:
		
					parent
					
						
							
								d7bf213e7b
							
						
					
				
			
			
				commit
				
					
						109d333341
					
				
			
		
					 2 changed files with 0 additions and 4 deletions
				
			
		
							
								
								
									
										3
									
								
								.gitmodules
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										3
									
								
								.gitmodules
									
										
									
									
										vendored
									
									
								
							| 
						 | 
					@ -1,3 +0,0 @@
 | 
				
			||||||
[submodule "external/frozen"]
 | 
					 | 
				
			||||||
	path = external/frozen
 | 
					 | 
				
			||||||
	url = https://github.com/serge-sans-paille/frozen.git
 | 
					 | 
				
			||||||
							
								
								
									
										1
									
								
								external/frozen
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										1
									
								
								external/frozen
									
										
									
									
										vendored
									
									
								
							| 
						 | 
					@ -1 +0,0 @@
 | 
				
			||||||
Subproject commit f75fffcc077e5cda0bf3c87121dca103855d2be5
 | 
					 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue