Skip to content

Commit 9d5dfd1

Browse files
Merge pull request #53 from jamesjer/master
Fix broken reference to Section_NautyGraph
2 parents 75cf4e5 + e5f15f4 commit 9d5dfd1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

gap/NautyGraph.gd

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
#! @ChapterLabel NautyGraphs
1111
#!
1212
#! @Section Working with Nauty Graphs
13-
#! @SectionLabel Section_NautyGraph
13+
#! @SectionLabel NautyGraph
1414

1515
DeclareCategory( "IsNautyGraph",
1616
IsObject );

0 commit comments

Comments
 (0)