Lines Matching full:historyfile
3645 <condition property="mining.historyfile.available">
3648 <condition property="mining.historyfile.notavailable">
3668 <target name="history-init" if="mining.historyfile.notavailable">
3673 <target name="history" if="mining.historyfile.available">
