Merge branch 'master' of https://git.gebner.org/gebner/etc
This commit is contained in:
		
						commit
						b84db81b86
					
				
							
								
								
									
										1
									
								
								vimrc
									
									
									
									
									
								
							
							
								
								
								
								
								
									
									
								
							
						
						
									
										1
									
								
								vimrc
									
									
									
									
									
								
							@ -124,6 +124,7 @@ au syntax java  set ts=4 sts=4 sw=4
 | 
				
			|||||||
au BufNewFile,BufRead *.s set ft=tptp
 | 
					au BufNewFile,BufRead *.s set ft=tptp
 | 
				
			||||||
au BufNewFile,BufRead *.s.out set ft=tptp
 | 
					au BufNewFile,BufRead *.s.out set ft=tptp
 | 
				
			||||||
au BufNewFile,BufRead *.tptp set ft=tptp
 | 
					au BufNewFile,BufRead *.tptp set ft=tptp
 | 
				
			||||||
 | 
					au BufNewFile,BufRead *.smt2 set ft=smt
 | 
				
			||||||
 | 
					
 | 
				
			||||||
au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
 | 
					au BufReadCmd *.epub call zip#Browse(expand("<amatch>"))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user