On Fri, 8 Apr 2005, Douglas Ridgway wrote:
> Would it be time to bring up the fuseki db again? > Options I see: > 1. Put it in as is, large size and all, and live with the size. > 2. Put it in, and work around the size (gzipped source in CVS, eg). > 3. Trim the size by reducing content. > 4. Keep the existing database. Maybe we should just put it in and wait for someone being annoyed enough about the size to add a gzip solution. Arend _______________________________________________ gnugo-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnugo-devel
