Lines Matching full:historyfile
374 <condition property="mining.historyfile.available">
377 <condition property="mining.historyfile.notavailable">
397 <target name="history-init" if="mining.historyfile.notavailable">
402 <target name="history" if="mining.historyfile.available">
