[Git][monnier/typer][master] Move old source files to src/old
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
participants (1)
-
Stefan