Commit Graph

8 Commits

Author SHA1 Message Date
b8cbd8929b
Handle variable overrides correctly 2020-03-26 20:27:16 +03:00
1dabc4442d
Make variable resolution more uniform 2020-03-26 20:24:04 +03:00
Lesenechal Remi
e63f2407c2 carthage update:
* update dune & opam files
* update modules in source
2020-02-17 13:10:51 +01:00
Tom Jack
d7bea52d44 Unignore dune-project 2019-12-19 19:53:10 +00:00
galfour
56269231b3 upgrade to babylon 2019-10-17 11:45:27 +02:00
Tom Jack
c867a4c4d4 Remove dune-project files 2019-09-09 13:59:08 -07:00
galfour
f831793fbd y e s s s 2019-09-05 15:21:01 +02:00
galfour
32599ae90b removing tezos-modded 2019-09-04 20:19:09 +02:00