The GEOSDEV space has been removed. I have a full backup (XML, PDF, and
HTML, with attachments) so that information can be restored if
necessary. If someone would like copies of this backup, or if it should
be posted somewhere, please let me know.
In addition, the following pages were success
Mike,
Can you save the following pages?
1) Andrea: is this still relevant to how we do Format Options, or is
there a better page in the real GEOS docs that describes this better?
http://docs.codehaus.org/display/GEOSDEV/Format+Options
2) http://docs.codehaus.org/display/GEOSDEV/GetLegendGrap
Hi all. Reminder that in one week (4/25) the GEOSDEV space will be
removed. If you care about anything on that site, please move it to
GEOS, or ask me to do so. :)
Thanks again,
Mike
Mike Pumphrey wrote:
> Okay folks. So I'd like to keep this issue alive, but I don't want to
> bother pe
Okay folks. So I'd like to keep this issue alive, but I don't want to
bother people, sooo...
On Friday, April 25th, I will bring GEOSDEV offline. In the intervening
15 days anyone can:
1) move important pages from GEOSDEV to GEOS
2) give me a list of pages to be moved, and I will move the
Yeah, +1 from me too.
My earlier email definitely wasn't intended to defend the space...it
should go! I just think we should do a mini salvage operation there
first (if possible).
--saul
On Mon, 2008-04-07 at 09:54 -0700, Justin Deoliveira wrote:
> I agree with you mike. We should kill this spa
I agree with you mike. We should kill this space. So yeah. the
developers should go through and let you know if there are any pages
worth salvaging before you axe it.
Mike Pumphrey wrote:
> Hi Saul. Thanks for chiming in. It doesn't sound/look to me like there
> are enough DEV pages to really
Hi Saul. Thanks for chiming in. It doesn't sound/look to me like there
are enough DEV pages to really merit its own space, but please feel free
to disagree.
I think I'm too new on the project to go through GEOSDEV by myself
(although I can and am willing to if it is voted that way), but if I
Mike,
Once, long long ago, I tried to straighten up GEOSDEV a little bit,
clean out the old stuff and see if anyone wanted to use it as a "Not
GEOSDOC and also not GEOS" space. Geotools has the following spaces:
GEOTOOLS -- the main geotools front-page site
GEOT -- the "developers/developers gui
Is this space actually used for anything?
http://geoserver.org/display/GEOSDEV/Home
To my untrained eye, it doesn't look like it's been updated in forever,
and I think it's rather confusing to have three different spaces. If
there are development pages there that people want to keep, they can
