Stefan pushed to branch master at Stefan / Typer
Commits: e749bce3 by Stefan Monnier at 2016-11-11T14:05:21-05:00 Move old source files to src/old
- - - - -
4 changed files:
- src/elaborate.ml → src/old/elaborate.ml - src/javascript.ml → src/old/javascript.ml - src/ulexp.ml → src/old/ulexp.ml - src/unify.ml → src/old/unify.ml
Changes:
===================================== src/elaborate.ml → src/old/elaborate.ml ===================================== --- a/src/elaborate.ml +++ b/src/old/elaborate.ml
===================================== src/javascript.ml → src/old/javascript.ml ===================================== --- a/src/javascript.ml +++ b/src/old/javascript.ml
===================================== src/ulexp.ml → src/old/ulexp.ml ===================================== --- a/src/ulexp.ml +++ b/src/old/ulexp.ml
===================================== src/unify.ml → src/old/unify.ml ===================================== --- a/src/unify.ml +++ b/src/old/unify.ml
View it on GitLab: https://gitlab.com/monnier/typer/commit/e749bce3590c5c4038c09ac021ef22f7717d...
Afficher les réponses par date