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