diff options
| author |  Christian Hesse <mail@eworm.de> | 2022-06-17 00:10:51 +0200 |
|---|---|---|
| committer | Christian Hesse <mail@eworm.de> | 2022-06-20 11:29:49 +0200 |
| commit | d8d7ace5e54a6fdcc38eeb38ca2da15bb716694f (patch) | |
| tree | 80fbc5409b7cc67fe87e08ed3bd94c68b0f19b07 /super-mario-theme | |
| parent | b1ad89b1b5d387bdde9527d80f62fcb9c5c4d4e1 (diff) | |
global-functions: introduce function $IsFullyConnected
Diffstat (limited to 'super-mario-theme')
0 files changed, 0 insertions, 0 deletions