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
Files
25.1
RecordFlux-devutils/devutils
History
Alexander Senier 11948234a1 Enforce PEP604 type annotations 
Ref. eng/recordflux/RecordFlux#1752
2024-08-13 15:14:25 +00:00
..
__init__.py
Rename package to RecordFlux-devutils
2023-01-09 10:36:01 +01:00
check_commit_messages.py
Enforce PEP604 type annotations
2024-08-13 15:14:25 +00:00
py.typed
Rename package to RecordFlux-devutils
2023-01-09 10:36:01 +01:00