2 Commits (a2a2a522316915c85b18c81f6da94e4ab6e129b1)

Author	SHA1	Message	Date
Marco Bonelli	c3772f2345	Deploy: run all commands separately to avoid unnoticed errors.	2019-02-07 18:47:32 +01:00
Marco Bonelli	d83f446a8c	Cleaner deployment process (fixes #2749) (#2750) ... * TravisCI: cleaner deployment process. * TravisCI: rename deployment script.	2019-02-04 19:29:17 +05:30