fix some bash formatting
authorSebastien Goasguen <runseb@gmail.com>
Fri, 23 May 2014 14:22:49 +0000 (16:22 +0200)
committerSebastien Goasguen <runseb@gmail.com>
Fri, 23 May 2014 14:22:49 +0000 (16:22 +0200)
commitd11a3b9d8a9a0fde2971b2647d02cf04acb75755
tree224c43c291ce5adc501dad65e650cd3e5444dc9a
parent8a05757d91b34d4f744c65e8469597c07461f9b0
fix some bash formatting
rtd/source/dev.rst