{"shas":[["6f092063150c63e2480e17cfb8a3ca327b7b6822","f0a1ce6f80112d72f7276457fd261d671b827567@larrygritz.com","Get rid of old doxygen docs that we don't keep updated anyway. People can build them by hand if they want them.","Larry Gritz"]],"ref":"refs/heads/master","size":1,"head":"6f092063150c63e2480e17cfb8a3ca327b7b6822","push_id":37157296}