]> _ Git - alire.git/commit
Remove unused entity (#1636)
authorAlejandro R Mosteo <amosteo@unizar.es>
Thu, 14 Mar 2024 11:30:21 +0000 (12:30 +0100)
committerGitHub <noreply@github.com>
Thu, 14 Mar 2024 11:30:21 +0000 (12:30 +0100)
commite6e1021b931f61b41ae3d4ac9a8ab5078cfc9447
tree65e55228ecfeffa812bbcf800fa4f7c36ac98d81
parent19d35bea0d3294637f8ce9ce630f2d52378a2722
Remove unused entity (#1636)
src/alire/alire-paths.ads