diff options
author | Christian Hesse <mail@eworm.de> | 2022-06-17 00:17:26 +0200 |
---|---|---|
committer | Christian Hesse <mail@eworm.de> | 2022-06-20 11:29:49 +0200 |
commit | 0ee38a4303cb608d716c09b06cd7319ea7c5b398 (patch) | |
tree | 3341c440ad1a39618dc0f5224c66293404f825c1 /super-mario-theme | |
parent | f628ef73fd6f5568007d8988ca2106757aff00dc (diff) |
global-functions: rename internal function: $DefaultRouteIsReachable -> $IsDefaultRouteReachable
Diffstat (limited to 'super-mario-theme')
0 files changed, 0 insertions, 0 deletions