Some useful scripts:
check-compiler: test whether the repo compiles warningless
with various compilers.
check-integrity: checks whether everything is svn-added,
the makefiles are correct etc.
release: creates a version numbered release. Is modifies the repository.
DO NOT PLAY WITH IT!

 @nodeset

 label

 0

 1

 2

 3

 4

 5

 6

 @edgeset

         weight

 0   3   1

 0   4   1

 1   5   1

 5   2   1

 6   2   1

 0   1   1

 2   1   1

 3   4   1

 4   5   1

 5   6   1

 @end