ada/RecordFlux-devutils
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux-devutils.git synced 2026-02-12 13:10:44 -08:00
Code Issues Packages Projects Releases Wiki Activity
52 Commits 7 Branches 0 Tags
24.2
Commit Graph

3 Commits

Author SHA1 Message Date
Tobias Reiher
6ec06d5212 Remove pylint 
Ref. eng/recordflux/RecordFlux-devutils#12
 2023-08-14 17:07:41 +02:00
Tobias Reiher
adead91c08 Update black, mypy and ruff 2023-05-12 11:55:29 +02:00
Tobias Reiher
f5c6865bae Rename package to RecordFlux-devutils 2023-01-09 10:36:01 +01:00