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
..
src/what-and-why	More documentation rewrites.	2020-02-10 19:07:20 +01:00
editor-support.md	Revert "Merge with dev"	2019-11-07 23:19:27 +00:00
FAQ.md	Added FAQ	2020-03-23 19:52:02 +00:00
installation.md	Build Ubuntu 19.10 instead of 19.04	2020-04-16 18:04:42 -05:00
ligo-intro.md	Merge	2020-03-06 08:38:07 +01:00