Explore projects

Unofficial mirror/fork of mariadb-server, originally hosted on https://github.com/MariaDB/server

Sightly modified mirror of http://git.ipxe.org/ipxe.git (only includes compilation fixes)