mirror of
https://github.com/minetest/minetest.git
synced 2024-12-29 01:17:30 +01:00
05309229b8
Seems the diff mode doesn't work well, PR are detected as working whereas in master it's shown it's problematic (and really problematic). Use same check everywhere |
||
---|---|---|
.. | ||
buildbot | ||
travis | ||
wireshark | ||
bump_version.sh | ||
colors.txt | ||
generate-texture-normals.sh | ||
minetestmapper.py | ||
sectors2sqlite.py | ||
test_multiplayer.sh | ||
updatepo.sh |