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
bb0709effc1fe316a9d8d1d54583bbf173a97ac5
revng-revng/share
T
History
Ivan Krysak 45cc832602 Docs: do not spell default values 
Note that a seemingly random relocation appeared from who knows where,
I wonder what's going on with it.
2025-10-13 18:33:10 +03:00
..
doc/revng
Docs: do not spell default values
2025-10-13 18:33:10 +03:00
revng
TTG: add default: value support
2025-10-13 18:33:10 +03:00