Tom Jack
2d7e177ba7
Build Ubuntu 19.10 instead of 19.04
...
19.04 reached End of Life in January and it appears the package repos
have now dropped it. 19.10 is not LTS but EOL is in July. Soon there
will be 20.04 LTS.
2020-04-16 18:04:42 -05:00
Suzanne Dupéron
78bbf9b044
Merge branch 'dev' into 'dev'
...
add Telegram link
See merge request ligolang/ligo!351
2020-02-09 09:02:31 +00:00
Suzanne Dupéron
995ca7e807
Print numeric records as tuples, better typer error messages for records & tuples
2020-02-09 00:31:30 +01:00
Francis Brunelle
af23dcaebb
add Telegram link
2020-01-23 09:20:42 -05:00
Matej Šima
628d818163
Revert "Merge with dev"
...
This reverts commit 6ffe220d928dc3137496bcea0cc0f4d72edc2846.
2019-11-07 23:19:27 +00:00
