ignore certora's generated files · d6036f9291 - GitBross

ignore certora's generated files

Aleksander Kryukov 4 years ago

parent

ea6baf2220

commit

d6036f9291

1 changed files with 5 additions and 0 deletions

Split View Show Diff Stats

						
							+ 5
							
							- 0
						
.gitignore
							 
								View File
							
				@@ -57,3 +57,8 @@ allFiredEvents
			
				 # hardhat
			
				 cache
			
				 artifacts
			
				+
			
				+# Certora
			
				+.certora*
			
				+.last_confs
			
				+certora_*