Marcel Moolenaar a031bda24e Don't build gensetdefs when we can use /usr/bin/gensetdefs. The latter
also creates setdef{0|1}.c so there's no need to have those in the
repository. Using /usr/bin/gensetdefs has no consequences for the
output.
1999-12-16 17:25:01 +00:00
..
1999-08-28 01:08:13 +00:00
1999-08-28 01:08:13 +00:00