diff options
| author | Wuzzy <Wuzzy@disroot.org> | 2023-01-16 20:16:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-16 20:16:45 +0100 |
| commit | e21d5613a6288d53edd004d8e020d69792a6d1bf (patch) | |
| tree | 47cfb3b09f0bb483d9284f43c631548b0d575a18 /games/devtest | |
| parent | ecd6d616977c7ef15615cc63ef800a5d6ec442ff (diff) | |
| download | minetest-e21d5613a6288d53edd004d8e020d69792a6d1bf.tar.xz | |
Change DevTest header (font = "undefined medium") (#13147)
Font downloaded from https://undefined-medium.com/
Diffstat (limited to 'games/devtest')
| -rw-r--r-- | games/devtest/menu/header.png | bin | 404 -> 209 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/games/devtest/menu/header.png b/games/devtest/menu/header.png Binary files differindex c80ed71f1..b47e0044e 100644 --- a/games/devtest/menu/header.png +++ b/games/devtest/menu/header.png |
