matita.cs.unibo.it Git - helm.git/blob - 0.1.4-1/TODO

]> matita.cs.unibo.it Git - helm.git/blob - 0.1.4-1/TODO

projects / helm.git / blob

7fc3c6bb6e2b2252130d440795f730e78d59d5d4

[helm.git] / 0.1.4-1 / TODO

1 - support for HTTPS

Unnamed repository; edit this file 'description' to name the repository.