diff make-dist @ 32169:5aa8b2b669b7

(sql-mysql-options): New variable. (sql-mysql): Use it.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 05 Oct 2000 15:24:43 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff