[Bobs-devel] confused about ini files

[Joe z. <jz...@at...>]

In emails July 14th, you described how to modify class_config.php and 
config.php to get rid of server.definitions.ini and use php instead. 
We're just getting rid of server.definitions.ini, not the actual defined 
servers like testserver.share.ini, right?

Joe