Skip to content

Commit

Permalink
REBASE: manual correction
Browse files Browse the repository at this point in the history
  • Loading branch information
hulpke committed Sep 14, 2018
1 parent efa0acd commit 4756d52
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion lib/tietze.gd
Original file line number Diff line number Diff line change
Expand Up @@ -394,7 +394,6 @@ DeclareGlobalFunction("AddRelator");
## This time we end up with a shorter presentation.
## <P/>
## <P/>
## ]]></Example>
## </Description>
## </ManSection>
## <#/GAPDoc>
Expand Down

0 comments on commit 4756d52

Please sign in to comment.