diff makefile @ 3199:dd553bb32ebb

3rdparty: Changed the names of many disks for easier reading
author Bill Pierce <merlinious999@gmail.com>
date Tue, 06 Jun 2017 23:59:39 +0200
parents ab1e1bca132b
children 6b7a7b233925
line wrap: on
line diff