doxygen version number
doxygen version number

dstehle/fplll,dstehle/fplll,cr-marcstevens/fplll,fplll/fplll,fplll/fplll,fplll/fplll,dstehle/fplll,cr-marcstevens/fplll,fplll/fplll,cr-marcstevens/fplll,cr-marcstevens/fplll,fplll/fplll