amalgame/commit

more opm renaming

authorJacco van Ossenbruggen
Wed Jan 30 12:29:08 2013 +0100
committerJacco van Ossenbruggen
Wed Jan 30 12:29:08 2013 +0100
commitafd3d70e11dbb154edd8133dc8d254f0abdc51d0
treed6f09058142b09acef0d96b1206f36ecc5c2d1e0
parent3ab392853a59162bc9e848236fb455e1cdf2d907
Diff style: stat patch
 applications/builder.pl | 4 ++++
 web/js/builder.js       | 2 ++
 web/js/strategy_viz.js  | 2 ++
 3 files changed, 4 insertions(+), 4 deletions(-)