admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/ci-performance
revng-revng/include
T
History
Massimo Fioravanti d55aa9b9e6 Pipeline: remove * from targets 
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
..
revng
Pipeline: remove * from targets
2022-10-20 14:20:12 +02:00
CMakeLists.txt
Add missing MIT license headers
2020-11-12 14:55:57 +01:00