Lines Matching full:historyfile
2472 <condition property="mining.historyfile.available">
2475 <condition property="mining.historyfile.notavailable">
2495 <target name="history-init" if="mining.historyfile.notavailable">
2500 <target name="history" if="mining.historyfile.available">
