.cvsignore « phox - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/phox/.cvsignore

blob: 79f631e759162a55738e923edf2117a9178b3e4e (plain)

config
config.dos
*~
#*#
*.o
*.a
*.cmo
*.cmi
*.cmx
*.pho
*.phi
*.pht