]> gitweb.fluxo.info Git - shellprompt.git/commitdiff
Merge branch 'master' of git.fluxo.info:shellprompt
authorSilvio Rhatto <rhatto@riseup.net>
Mon, 26 Sep 2016 19:09:55 +0000 (16:09 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Mon, 26 Sep 2016 19:09:55 +0000 (16:09 -0300)

Trivial merge