Closed GoogleCodeExporter closed 8 years ago
Original comment by peer.tor...@gmail.com
on 13 Mar 2011 at 9:13
We do not really include the source files, but since the .target files now
refers to the online online platform, we have a reasonable workaround; the core
problem is resolved in an acceptable way.
Original comment by peer.tor...@gmail.com
on 26 Sep 2011 at 5:23
Original issue reported on code.google.com by
peer.tor...@gmail.com
on 13 Mar 2011 at 9:13