mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
35 lines
289 B
Plaintext
35 lines
289 B
Plaintext
*.il
|
|
*.pdb
|
|
*.c
|
|
*.d
|
|
*.h
|
|
*.mh
|
|
*.mih
|
|
*.ql
|
|
*.pl
|
|
*.prof
|
|
*.err
|
|
*.exe
|
|
*.int
|
|
*.int0
|
|
*.int2
|
|
*.int3
|
|
*.date
|
|
*.date0
|
|
*.date3
|
|
*.o
|
|
*.obj
|
|
*.opt
|
|
*.optdate
|
|
*.trans_opt
|
|
*.*_date
|
|
mercury_profile
|
|
mercury_profile.dep
|
|
mercury_profile.dep_err
|
|
mercury_profile.dv
|
|
Mercury
|
|
PROF_FLAGS
|
|
config.log
|
|
.profiler_tags
|
|
tags
|