Minor text changes
authorGeorgios Gousios <gousiosg@gmail.com>
Fri, 4 Nov 2011 11:08:45 +0000 (13:08 +0200)
committerGeorgios Gousios <gousiosg@gmail.com>
Fri, 4 Nov 2011 11:08:45 +0000 (13:08 +0200)
commit844d3a635d155abdfdfc92e82dcd391512691808
treea5a950e9dcc8269e7638af42019751dcec300655
parent52b9c64f278cda03911acae51a4ce66ce4d7b307
Minor text changes
doc/manual/source/creditdsl.rst
doc/manual/source/devguide.rst