papermario/diff_settings.py

#!/usr/bin/env python3

def apply(config, args):
    config['baseimg'] = 'baserom.z64'
    config['myimg'] = 'papermario.z64'
    config['mapfile'] = 'build/papermario.map'
    config['source_directories'] = ['.']
    config['make_command'] = ['ninja']
Cleanup and one match 2020-06-25 18:03:00 +02:00			`#!/usr/bin/env python3`

			`def apply(config, args):`
meow 2020-08-13 04:56:47 +02:00			`config['baseimg'] = 'baserom.z64'`
Cleanup and one match 2020-06-25 18:03:00 +02:00			`config['myimg'] = 'papermario.z64'`
			`config['mapfile'] = 'build/papermario.map'`
			`config['source_directories'] = ['.']`
Diff.py update + removing make stuff 2021-01-15 18:00:00 +01:00			`config['make_command'] = ['ninja']`