Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

21 lines (20 sloc) 0.179 kb
\.cmi$
\.cmo$
\.cmx$
\.so$
\.o$
\.cma$
\.cmxa$
\.a$
\.annot$
\/META$
autom4te\.cache/
\.swp$
^stdext/config\.h$
^config\.log$
^config\.status$
^configure$
doc/*
~$
\.rej$
\.orig$
Jump to Line
Something went wrong with that request. Please try again.