Skip to content
This repository
Browse code

[cleanup] permissions: fixed several *.ml *.mli files

  • Loading branch information...
commit 1d971c094a7993b2cad676d808b55232d020e8fb 1 parent 117e14c
Mathieu Baudet authored
0  libbase/base.ml 100755 → 100644
File mode changed
0  libbase/mlstate_platform.ml 100755 → 100644
File mode changed
0  libnet/folder.ml 100755 → 100644
File mode changed
0  libnet/network.ml 100755 → 100644
File mode changed
0  libqmlcompil/qmlAst.ml 100755 → 100644
File mode changed
0  libqmlcompil/qmlMoreTypes.ml 100755 → 100644
File mode changed
0  libqmlcompil/qmlTyper.ml 100755 → 100644
File mode changed
0  libqmlcompil/qmlTypesCompare.ml 100755 → 100644
File mode changed
0  libqmlcompil/qmlTypesCompare.mli 100755 → 100644
File mode changed
0  libqmlcompil/typer_w.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_Algebra.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_CoreTypes.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_CoreTypes.mli 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_Infer.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_Infer.mli 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_OpenRecordDirective.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_OpenSumsDirective.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_PatternsProcessing.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_PrintTypes.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_PublicExport.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_SchemeGenAndInst.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_SchemeGenAndInst.mli 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_TypingEnv.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_TypingEnv.mli 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_Unify.ml 100755 → 100644
File mode changed
0  libqmlcompil/typer_w/w_Unify.mli 100755 → 100644
File mode changed

0 comments on commit 1d971c0

Please sign in to comment.
Something went wrong with that request. Please try again.