Hi, is there a specific reason why indexTreeMaps is set two times in virtuoso.ini ? I guess not.
First it is set to 256 and afterwards to 64. Which value is the preferred one ? Best, Henrik Schmidt ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users
