{"shas":[["5614df88e0a9ba2c9851231624a920fb60070beb","6e153e0b007d41886131fe1b3c497d3f384be07d@taherh.org","Added command line options for specifying input documents.\n\nFilenames can either be specified directly on the commandline, or in a\nfile containing a list of filenames.","Taher Haveliwala"]],"ref":"refs/heads/master","size":1,"head":"5614df88e0a9ba2c9851231624a920fb60070beb","push_id":35895067}