extract-tex.pl: Wir benutzen »·« nicht mehr als ungewichtetes Trennzeichen.
commit115eb87e58c8faaf02833dca36ca5b0e2286ed10
authorWerner Lemberg <wl@gnu.org>
Mon, 7 May 2018 20:08:18 +0000 (7 22:08 +0200)
committerWerner Lemberg <wl@gnu.org>
Mon, 7 May 2018 20:08:18 +0000 (7 22:08 +0200)
treef6acf58114b0fb74547ae310b705d615dfe7a8a7
parentb16407890cc031a4320fe11e17c1c1839448ee9b
extract-tex.pl: Wir benutzen »·« nicht mehr als ungewichtetes Trennzeichen.
skripte/extract-tex.pl