Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: v664
Fetching contributors…

Cannot retrieve contributors at this time

12 lines (7 sloc) 0.316 kb
# -*- conf -*- (for emacs)
true: warn_A, warn_e, warn_error_A
<**/*.{ml,mli,byte,native}>: use_libbase, use_libtrx, use_libruntime, use_ssl, use_unix, use_zip, use_str, use_appruntime, use_cryptokit
<**/*.{byte,native}>: use_io
<*.c>: c_wall, use_ssl
<cryptoLib.ml>: use_cryptokit
<sslAS.ml>: with_mlstate_debug
Jump to Line
Something went wrong with that request. Please try again.