diff .classpath @ 11:ecd66e70cb65

Tools for adding and changing DRIs in index.meta
author dwinter
date Thu, 26 Jul 2012 11:24:03 +0200
parents b6cf6462d709
children e0efd3a9d2f0
line wrap: on
line diff