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