From: Stefano Zacchiroli Date: Mon, 7 Apr 2003 15:21:31 +0000 (+0000) Subject: updat changelog with list_servers method addition X-Git-Tag: before_refactoring~37 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=0dfd63ee1df63c155e760d8773dab4b8cc7e4721;hp=0dfd63ee1df63c155e760d8773dab4b8cc7e4721;p=helm.git updat changelog with list_servers method addition ---