view dgl/dgl-banner @ 41:d3ccdc195796

rlgall.py: delete a few lines that got moved elsewhere
author John "Elwin" Edwards
date Fri, 10 Jan 2014 17:01:11 -0500
parents 9945b472aac2
children
line wrap: on
line source

## $SERVERID