search

AdaCore / libadalang-tools

Libadalang-based tools
GNU General Public License v3.0
16 stars 13 forks source link

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

Open kilian-gebhardt opened 1 year ago

kilian-gebhardt commented 1 year ago

Fix #25.