There was an error while loading. Please reload this page.
1 parent 75cf4e5 commit e5f15f4Copy full SHA for e5f15f4
1 file changed
gap/NautyGraph.gd
@@ -10,7 +10,7 @@
10
#! @ChapterLabel NautyGraphs
11
#!
12
#! @Section Working with Nauty Graphs
13
-#! @SectionLabel Section_NautyGraph
+#! @SectionLabel NautyGraph
14
15
DeclareCategory( "IsNautyGraph",
16
IsObject );
0 commit comments