6b720e6c23
Conflicts: .gitignore compiler/global/global_printer.ml compiler/main/mls2obc.ml
30 lines
234 B
Text
30 lines
234 B
Text
.external*
|
|
.paths
|
|
.project
|
|
_build
|
|
*.DS_Store
|
|
*.cmi
|
|
*.cmo
|
|
*.cmx
|
|
*.annot
|
|
*.byte
|
|
*.native
|
|
*.depend
|
|
*.swp
|
|
.settings
|
|
\#*\#
|
|
*.mls
|
|
*.obc
|
|
*.c
|
|
*.h
|
|
*.o
|
|
*.java
|
|
*.class
|
|
*.log
|
|
*.
|
|
*.epci
|
|
*.epo
|
|
*.dot
|
|
test/*.ml
|
|
test/_check_builds
|
|
lib/java/.classpath
|