diff options
| author |  Christian Hesse <mail@eworm.de> | 2021-04-27 21:17:45 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2021-04-28 13:58:37 +0200 |
| commit | e97b3945363c8f322b7ff7f4bf65f13d887d373b (patch) | |
| tree | d47eeda6a880a859ec387af1162e7d18eca62451 /doc/super-mario-theme.md | |
| parent | 66a92c3da9a43cf4b2df33d652053f72b70898a1 (diff) | |
global-functions: introduce $EitherOr
Diffstat (limited to 'doc/super-mario-theme.md')
0 files changed, 0 insertions, 0 deletions