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
8065ebf634bbb251bc63b33d5c562f4b87ff19de
revng-revng/python/revng/project
T
History
Giacomo Vercesi f3cccf8bda revng/project: make some attributes private 
Rename some attributes to make them private, as they won't be used by
the end-user.
2025-07-18 09:30:55 +02:00
..
__init__.py
Implement python interface for revng
2025-05-07 10:48:51 +02:00
cli_project.py
revng/project: make some attributes private
2025-07-18 09:30:55 +02:00
daemon_project.py
revng/project: make some attributes private
2025-07-18 09:30:55 +02:00
local_daemon_project.py
revng/project: make some attributes private
2025-07-18 09:30:55 +02:00
project.py
revng/project: make some attributes private
2025-07-18 09:30:55 +02:00