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/python/revng/cli/_commands/ptml
T
History
Giacomo Vercesi df68b2c7c0 revng ptml: merge cat and strip 
Merge the cat and strip subcommands within `revng ptml`
Refactor codebase so that both color and plaintext output are handled
in a unified manner.
2022-09-29 15:43:17 +02:00
..
__init__.py
revng ptml: merge cat and strip
2022-09-29 15:43:17 +02:00
common.py
revng ptml: merge cat and strip
2022-09-29 15:43:17 +02:00
text.py
revng ptml: merge cat and strip
2022-09-29 15:43:17 +02:00