Merge branch 'pr_documents_koch' of git://github.com/gradha/Nimrod into gradha-pr_documents_koch

Conflicts:
	web/nimrod.ini
This commit is contained in:
Clay Sweetser 2014-05-31 14:41:34 -04:00
commit 24e6baa3e2
7 changed files with 166 additions and 7 deletions

View file

@ -59,6 +59,8 @@ And for a debug version compatible with GDB::
The ``koch`` program is Nimrod's maintenance script. It is a replacement for
make and shell scripting with the advantage that it is much more portable.
More information about its options can be found in the `koch <koch.html>`_
documentation.
Coding Guidelines