Tom Tsagk f2ecc018d6 Change name to avdl 4 months ago
..
avdl.texi f2ecc018d6 Change name to avdl 4 months ago