diff java/build.xml @ 217:7ceaac84be57

differentiated between normal=pp-ups and glitched key-like pp-ups.
author Robert McIntyre <rlm@mit.edu>
date Fri, 23 Mar 2012 19:39:03 -0500
parents 9d3769896d66
children 09b3bc0b71b5
line wrap: on
line diff