Antonio Radovcic 814952c01d #917 This commit changes the path to 'shell.html' in all Makefiles (#918)		2019-07-27 11:45:49 +02:00
..
advance_game	#917 This commit changes the path to 'shell.html' in all Makefiles (#918)	2019-07-27 11:45:49 +02:00
simple_game	#917 This commit changes the path to 'shell.html' in all Makefiles (#918)	2019-07-27 11:45:49 +02:00
standard_game	#917 This commit changes the path to 'shell.html' in all Makefiles (#918)	2019-07-27 11:45:49 +02:00