minetest/minetest — pull request #1495 by sapier (2014-07-16 16:17:22+00:00)
Title: Add video driver selection to settings menu (based uppon idea from webde...

...signer97)