cmb33595 / open-geo-prover

Automatically exported from code.google.com/p/open-geo-prover
0 stars 0 forks source link

Cleanup of project #6

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
This issue document is for work to delete unnecessary directories and other 
resources from main development project.

Original issue reported on code.google.com by ivan.pet...@gmail.com on 4 Mar 2012 at 10:17

GoogleCodeExporter commented 9 years ago
Revisions r50 - r53 made some cleanup changes for OGP project.

Original comment by ivan.pet...@gmail.com on 4 Mar 2012 at 10:36

GoogleCodeExporter commented 9 years ago

Original comment by ivan.pet...@gmail.com on 4 Mar 2012 at 10:37

GoogleCodeExporter commented 9 years ago

Original comment by ivan.petrovic.matf on 9 Apr 2012 at 8:10

GoogleCodeExporter commented 9 years ago
This issue belongs to A stage of work on main development trunk - general job.

Original comment by ivan.petrovic.matf on 2 May 2012 at 10:14

GoogleCodeExporter commented 9 years ago
Issue is completed.

Original comment by ivan.petrovic.matf on 21 May 2012 at 7:52