diff options
author | rubenwardy <rw@rubenwardy.com> | 2020-12-19 13:27:15 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-19 13:27:15 +0000 |
commit | 664f5ce9605b580b9500547fff1e54eac553f295 (patch) | |
tree | c1500f8d0110c9657d1a66c5ad9bad6a6acc16f4 /doc/mkdocs/docs/css/extra.css | |
parent | 025035db5c87e9eaa9f83859f860539fc4fb4dc0 (diff) | |
download | minetest-664f5ce9605b580b9500547fff1e54eac553f295.tar.gz minetest-664f5ce9605b580b9500547fff1e54eac553f295.tar.bz2 minetest-664f5ce9605b580b9500547fff1e54eac553f295.zip |
Add open user data button to main menu (#10579)
Diffstat (limited to 'doc/mkdocs/docs/css/extra.css')
0 files changed, 0 insertions, 0 deletions