]> Savannah Git Hosting - gnulib/maint-tools.git/log
gnulib/maint-tools.git
23 months agoAdd platforms/predefines.url.
Bruno Haible [Wed, 31 May 2023 09:28:31 +0000 (11:28 +0200)]
Add platforms/predefines.url.

23 months agoAdd platforms/various-symlists directory.
Bruno Haible [Wed, 31 May 2023 09:25:15 +0000 (11:25 +0200)]
Add platforms/various-symlists directory.