Fix typo in reference manualmaster
[dejagnu.git] / contrib / 
treea5880acd7e13c21ecf7fe07c72cfee77cdb1311d
drwxr-xr-x   ..
-rw-r--r-- 2651 dejagnu.py
drwxr-xr-x - mysql
-rwxr-xr-x 3119 sum2junit.sh