v0.0-142

Eric Cano

@cano

d6c33c7b · Fixed error when we have no file to report in OracleCtalogue. · Jul 09, 2018

Fixed error when recording no file in the oracle catalogue (but only placeholders).