]> _ Git - alire.git/commit
projects / alire.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc1bb93) | 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)
committerGitHub <noreply@github.com>
Tue, 18 Jun 2024 11:14:37 +0000 (13:14 +0200)
commita68d748c0a3345914e7a6bf9fdc1092b960106f2
treeb0fdac159383edfa130f3b193441e8402c9886d9tree | snapshot
parentdc1bb934301e0bd0d5217928be4cb61f54def480commit | 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)