Drop sections that are already part of the user manual
authorFabian Keil <fk@fabiankeil.de>
Fri, 1 Mar 2013 17:42:51 +0000 (17:42 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 1 Mar 2013 17:42:51 +0000 (17:42 +0000)
commit0ff97e7fad387169e2e19420b8e26894b94c17d3
tree55868cd07e11ffe912c6dd76db0e96aa96342436
parentd2f56208a463fabd834a873a984e53eebc66783b
Drop sections that are already part of the user manual
doc/source/developer-manual.sgml