Skip to content
Snippets Groups Projects
Select Git revision
  • 5663de39525cc74c07e8b922afd68a768decf749
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results

tlatools

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Use 14.04.3 (instead of .2) maintenance release of Ubuntu cloud image on AWS EC2.
    Markus Alexander Kuppe authored 
    Newer maintenance release means fewer (security) updates to install and thus faster instance provisioning.

[Feature][Toolbox]
    5663de39
    History
    user avatar 5663de39
    History
    Name Last commit Last update