]> _ Git - alire.git/commit
projects / alire.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b409d9) | patch
Ensure index repos can be deleted on Windows (#1696)
authorAlejandro R Mosteo <amosteo@unizar.es>
Tue, 18 Jun 2024 11:14:37 +0000 (13:14 +0200)
committerAlejandro R. Mosteo <amosteo@unizar.es>
Sun, 23 Jun 2024 17:51:54 +0000 (19:51 +0200)
commit9bad17c51448e4a4a7f3fdb245b12d5dfdda11fb
treed7d33ae72dc5ab98f264a5fe4101df077dd5319btree | snapshot
parent5b409d93d515ae95f688e9d0a63d68806f8bcb82commit | diff
Ensure index repos can be deleted on Windows (#1696)

* Ensure index repos can be deleted on Windows

* Update alire-version.ads
src/alire/alire-index_on_disk.adb diff | blob | history
Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)