diff dgl/dgl_menu_main_user.txt @ 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 ad103f9f2e3a
line wrap: on
line diff