From: Bruno Haible Date: Wed, 31 May 2023 09:28:31 +0000 (+0200) Subject: Add platforms/predefines.url. X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=442167f082482eb0dee60db12f28fbb85b7b5210;p=gnulib%2Fmaint-tools.git Add platforms/predefines.url. --- diff --git a/platforms/predefines.url b/platforms/predefines.url new file mode 100644 index 00000000..e1c8c24d --- /dev/null +++ b/platforms/predefines.url @@ -0,0 +1 @@ +https://github.com/cpredef/predef