view dgl/dgl-banner @ 86:5f1b4d3151bb

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

## $SERVERID