{"shas":[["ea711981ac1089f66d972352e117ce0b0ea731e9","de1317f9e7b1b574abd0936c8a0e216cf9ec7d2c@gmail.com","FilePrefix class added to handle not knowning if the user has given a full file name or just a prefix. Other small updates.","David Doria"]],"ref":"refs/heads/master","size":1,"head":"ea711981ac1089f66d972352e117ce0b0ea731e9","push_id":40548287}