3 ms·
That does already exist in GNU Autoconf: https://www.gnu.org/software/autoconf/manual/autoconf-2.65/html_node/Site-Defaults.html#Site-Defaults https://www.gnu.o
by 1718627440 2y ago
That does already exist in GNU Autoconf: https://www.gnu.org/software/autoconf/manual/autoconf-2.65/html_node/Site-Defaults.html#Site-Defaults https://www.gnu.org/software/autoconf/manual/autoconf-2.65/h...