Skip to content

Utils.Drivers: fix Counter decrement for ignored files#27

Open
kilian-gebhardt wants to merge 1 commit intoAdaCore:masterfrom
kilian-gebhardt:kge-fix-ignored-files
Open

Utils.Drivers: fix Counter decrement for ignored files#27
kilian-gebhardt wants to merge 1 commit intoAdaCore:masterfrom
kilian-gebhardt:kge-fix-ignored-files

Commits

Commits on Jun 5, 2023