view .hgignore @ 36:9619480d0dc0

Update .hgignore
author atton
date Mon, 13 Jun 2016 01:34:43 +0000
parents c056a6a70c7e
children
line wrap: on
line source

syntax: glob

# Editors
*.swp
*~

# CMake
CMakeCache.txt
CMakeFiles
CMakeScripts
Makefile
cmake_install.cmake
install_manifest.txt

# cbmc
cbmc_files

# clang
*.o
*.bc
*.i
*.s

# executables
a.out
src/insert_verification/insert_verification