fix: greatly improve performance of often-executed ping-fetch-query

[gigi.git] / src / org / cacert / gigi / database / DBEnum.java

package org.cacert.gigi.database;

public interface DBEnum {

    public String getDBName();
}