diff scripts/backup-push @ 86:5f1b4d3151bb

Add some neglected dgamelaunch initialization commands.
author John "Elwin" Edwards
date Sat, 24 Nov 2018 10:34:26 -0500
parents ea014ed97581
children 44cf8c7c2c7a
line wrap: on
line diff