Commit Graph

7 Commits

Author SHA1 Message Date
Lesenechal Remi
ad4dc27122 skip code block with #include 2020-01-09 10:34:30 +01:00
John David Pressman
e89aace91c Clean up description of --predecessor-timestamp flag in logs 2020-01-03 12:49:42 -08:00
Lesenechal Remi
0ce29e22b9 add some timestamp doc 2020-01-03 21:39:25 +01:00
John David Pressman
7c4f59035f Add inclusion directive docs and inclusion tests for CameLIGO and ReasonLIGO 2020-01-02 16:11:03 +00:00
Lesenechal Remi
eac5e9b82e fix "timestamps-addresses.md" 2019-12-31 14:23:51 +01:00
Lesenechal Remi
4556568c72 fix "entrypoints-contracts.md" 2019-12-31 14:23:51 +01:00
Matej Šima
628d818163 Revert "Merge with dev"
This reverts commit 6ffe220d928dc3137496bcea0cc0f4d72edc2846.
2019-11-07 23:19:27 +00:00