don't print timestamp in API doc
don't print timestamp in API doc

cr-marcstevens/fplll,dstehle/fplll,pfasante/fplll,GottfriedHerold/fplll,GottfriedHerold/fplll,pfasante/fplll,pfasante/fplll,shi-bai/fplll,shi-bai/fplll,fplll/fplll,shi-bai/fplll,blowfish880/fplll,cr-marcstevens/fplll,gbonnoron/fplll,fplll/fplll,cr-marcstevens/fplll,fplll/fplll,blowfish880/fplll,dstehle/fplll,cr-marcstevens/fplll,dstehle/fplll,fplll/fplll,shi-bai/fplll,gbonnoron/fplll,fplll/fplll,gbonnoron/fplll,GottfriedHerold/fplll,blowfish880/fplll