view dgl/dgl-banner @ 69:c2127bc98694

Update the dgamelaunch compatibility patch. The patch is now to be applied to dgamelaunch revision 6753fd6e. Maybe I should maintain my own Git branch. But this project already uses autotools and npm. I don't need any more software that's amazing in theory but painful to actually work with.
author John "Elwin" Edwards
date Sat, 23 Jan 2016 19:04:17 -0500
parents 9945b472aac2
children
line wrap: on
line source

## $SERVERID