#Thu Jun 10 23:38:52 EDT 2010
eclipse.preferences.version=1
encoding//mv3d/red/red.py.bak=iso-8859-15
encoding//mv3d/tools/red/red.py=iso-8859-15