scripts/fill_help_tables.sh · 04519f434b2f06f448608e6c1c1bb55f712f5913 · Kirill Smelkov / mariadb

unknown authored Nov 10, 2004

  Handle some additional Texinfo tags that were being missed.


scripts/fill_help_tables.sh:
  Handle some additional Texinfo tags that were being missed.

bdea2dc9

fill_help_tables.sh 14.3 KB

Replace fill_help_tables.sh