Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: d9e1dcc5e7
Fetching contributors…

Cannot retrieve contributors at this time

file 20 lines (20 sloc) 0.179 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
\.cmi$
\.cmo$
\.cmx$
\.so$
\.o$
\.cma$
\.cmxa$
\.a$
\.annot$
\/META$
autom4te\.cache/
\.swp$
^stdext/config\.h$
^config\.log$
^config\.status$
^configure$
doc/*
~$
\.rej$
\.orig$
Something went wrong with that request. Please try again.