diff options
Diffstat (limited to 'games')
| -rw-r--r-- | games/xboard/files/patch-xboard.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/xboard/files/patch-xboard.texi b/games/xboard/files/patch-xboard.texi index 4fceaace059e..c67ff281cb11 100644 --- a/games/xboard/files/patch-xboard.texi +++ b/games/xboard/files/patch-xboard.texi @@ -542,4 +542,4 @@ -@end table @node Help Menu - @section Help M
\ No newline at end of file + @section Help M |