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
b1781988e0fed6bc4d68b8af99e195f58d467154
revng-revng/include
T
History
Ivan Krysak cdc633e31d CliftPipes: drop Pipe from filenames 
This removes unnecessary Pipe from filenames which the directory name
already contains.

This also renames some of them to match the *new* pipeline.
2026-03-27 07:18:49 +00:00
..
revng
CliftPipes: drop Pipe from filenames
2026-03-27 07:18:49 +00:00
CMakeLists.txt
Merge revng-c into revng
2024-11-21 10:50:55 +01:00