Commit graph

5 commits

Author SHA1 Message Date
Rogério Brito
290967f525 deploy: README: Minor rewording of the text. 2015-06-27 23:57:03 -03:00
Rogério Brito
df962b3ffe README: Rename with .md extension.
Otherwise, it doesn't get recognized by GitHub's parser as being formatted
in markdown.

Signed-off-by: Rogério Brito <rbrito@ime.usp.br>
2015-06-27 23:53:28 -03:00
Rogério Brito
2f912fd69b deploy: download.sh: Remove hardcoded username. 2015-06-27 23:52:28 -03:00
Rogério Brito
030b4d7e90 deploy: README: Use markdown for formatting. 2015-06-27 23:51:54 -03:00
Dmitry Senin
a39c05dc3d Added Docker deploy 2015-06-05 08:35:35 +03:00