log dgl/rlgwebd-compat.patch @ 100:44e8aaa20d02 default tip

age author description
2018-11-24 John "Elwin" Edwards Update the dgamelaunch patch to work with the most recent changes.
2016-01-24 John "Elwin" Edwards Update the dgamelaunch compatibility patch.
2013-10-21 John "Elwin" Edwards Switch to the Git version of dgamelaunch.