From: Ian Jackson Date: Wed, 13 Jan 2021 00:58:28 +0000 (+0000) Subject: library/edited: Remove unused remote filename information X-Git-Tag: otter-0.3.0~44 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5ae9ca6ae965cb11b01ae8fec32c42449d5de320;p=otter.git library/edited: Remove unused remote filename information Signed-off-by: Ian Jackson --- diff --git a/library/edited.toml b/library/edited.toml index cc8cb4d8..425a9fda 100644 --- a/library/edited.toml +++ b/library/edited.toml @@ -11,7 +11,7 @@ centre = [121, 123] scale = 0.38 outline = "Square" files = """ -chess-board Chess_board_blank the chessboard +chess-board - the chessboard """ [group.chess-misc] @@ -21,8 +21,8 @@ centre = [16,16] item_prefix = "chess-" outline = "Circle" files = """ -b-portal-blue portal-blue-black a blue portal piece belonging to black -w-portal-blue portal-blue-white a blue portal piece belonging to white -b-portal-orange portal-orange-black an orange portal piece belonging to black -w-portal-orange portal-orange-white an orange portal piece belonging to white +b-portal-blue - a blue portal piece belonging to black +w-portal-blue - a blue portal piece belonging to white +b-portal-orange - an orange portal piece belonging to black +w-portal-orange - an orange portal piece belonging to white """