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
..
advanced	Marked the errors that should be skipped (because catched by the	2020-04-08 20:24:34 +02:00
api	Make cheatsheet testable.	2020-03-19 21:27:58 +01:00
contributors	change passes name concrete_to_imperative, imperative_to_sugar, sugar_to_core	2020-03-18 16:00:34 +01:00
intro	Build Ubuntu 19.10 instead of 19.04	2020-04-16 18:04:42 -05:00
language-basics	Removed redundant constant named origin.	2020-04-15 12:00:54 +02:00
reference	Merge branch 'more-api' into 'dev'	2020-04-14 10:53:11 +00:00
tutorials/get-started	Use Tezos prefix in Tutorial.	2020-03-31 14:39:26 +02:00