carta

condor_convert_history(1) on Linux

The text 22c32c7336e1, as Debian 7 (Wheezy) shipped it.

the history file to the new format

condor_convert_history(1) on Linux now