Add Certora syntax highlighting (#5861) · 3635d3cbf0 - GitBross

Explorar o código

Add Certora syntax highlighting (#5861)

Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>

James Toussaint hai 1 mes

pai

7eb34c432f

achega

3635d3cbf0

Modificáronse 1 ficheiros con 3 adicións e 0 borrados

Dividir vista Mostrar estatísticas de Diff

						
							+ 3
							
							- 0
						
.gitattributes
							 
								Ver ficheiro
							
				@@ -0,0 +1,3 @@
			
				+certora/specs/*.spec linguist-language=Solidity
			
				+certora/specs/*.conf linguist-detectable
			
				+certora/specs/*.conf linguist-language=JSON5