marcel 6db98885a5 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-11-02 22:40:15 +00:00
1999-12-14 20:54:38 +00:00
1999-08-28 01:08:13 +00:00
1999-12-16 05:42:02 +00:00
1999-08-28 01:08:13 +00:00
1999-08-27 23:45:13 +00:00
1999-11-14 13:54:44 +00:00