diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2017-02-20 15:13:47 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2017-02-20 15:13:47 +0100 |
| commit | d755cbe4de34d9453656ae2f4e73a3a16876fb63 (patch) | |
| tree | 8e2714ab172fc84bacea19f386d90c467a7c4255 /otherlibs | |
| parent | dd928f6ef0103a6b03400c2e87a087dfa7bd4678 (diff) | |
| download | ocaml-d755cbe4de34d9453656ae2f4e73a3a16876fb63.tar.gz | |
last commit before tagging 4.05.0+beta2
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/raw_spacetime_lib/.depend | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/otherlibs/raw_spacetime_lib/.depend b/otherlibs/raw_spacetime_lib/.depend index ddc792f7e6..a4e2c6ea9b 100644 --- a/otherlibs/raw_spacetime_lib/.depend +++ b/otherlibs/raw_spacetime_lib/.depend @@ -40,3 +40,6 @@ raw_spacetime_lib.cmi : raw_spacetime_lib.cmo : raw_spacetime_lib.cmi raw_spacetime_lib.cmx : raw_spacetime_lib.cmi raw_spacetime_lib.cmi : +raw_spacetime_lib.cmo : raw_spacetime_lib.cmi +raw_spacetime_lib.cmx : raw_spacetime_lib.cmi +raw_spacetime_lib.cmi : |