Leonid Pliushch cf0a27f0d5 8086tiny: do not prompt for bios image in wrapper ... Alternate bios is not available for this emulator, so packaged image will be used instead.		2020-01-24 21:42:40 +02:00
..
8086tiny.sh	8086tiny: do not prompt for bios image in wrapper	2020-01-24 21:42:40 +02:00
Makefile.patch	new package: 8086tiny	2020-01-24 21:11:03 +02:00
build.sh	8086tiny: do not prompt for bios image in wrapper	2020-01-24 21:42:40 +02:00
timeb-android.patch	new package: 8086tiny	2020-01-24 21:11:03 +02:00