diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-23 00:21:59 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-23 00:21:59 +0000 |
| commit | eafeb4955059732f2e5febe4991777df8b00d52a (patch) | |
| tree | 2029285cc08fbd30a4f5e585a93a720587ec137e /proof | |
| parent | 98a77e781d970e6a0fc7a72a453d03495d732711 (diff) | |
| download | Sakura-eafeb4955059732f2e5febe4991777df8b00d52a.tar.gz Sakura-eafeb4955059732f2e5febe4991777df8b00d52a.zip | |
Migrate `System` over
Diffstat (limited to 'proof')
0 files changed, 0 insertions, 0 deletions