diff options
author | Eduardo Julian | 2022-11-07 18:52:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-07 18:52:46 -0400 |
commit | cb572295c9a73330531e07f3f6a92b3bb2434514 (patch) | |
tree | ae14be0a53235971d897c033879e3d4512ffde68 /stdlib/source/program/scriptum.lux | |
parent | 13c594758482bac0a7550bcb89cfeda8c5f0a1f3 (diff) |
Can now mark definitions as deprecated in their documentation.
Diffstat (limited to 'stdlib/source/program/scriptum.lux')
0 files changed, 0 insertions, 0 deletions