update documentation for STOP
commitcc32926c5cdda8d9b6e9cb5e00492c05ea902043
authorHans Huebner <hans.huebner@gmail.com>
Mon, 13 Aug 2012 09:46:54 +0000 (13 11:46 +0200)
committerHans Huebner <hans.huebner@gmail.com>
Mon, 13 Aug 2012 09:46:54 +0000 (13 11:46 +0200)
tree418ed8291a370000e23d74bab02faf24dd6cbba9
parent70c9fad186fdad65084e0677f890f3d2451d9a31
update documentation for STOP
doc/index.xml