-rw-r--r-- 1 pierre users 24145 Oct 7 10:21gcc13/target-check-rtl-i386-wdosx.txt
-rw-r--r-- 1 pierre users 23364 Nov 10 01:05gcc220/target-check-rtl-i386-wdosx.txt
-rw-rw-r-- 1 pierre users 23371 Nov 10 02:28gcc137/target-check-rtl-i386-wdosx.txt
-rw-r--r-- 1 pierre users 23211 Nov 10 03:19gcc420/target-check-rtl-i386-wdosx.txt
-rw-r--r-- 1 pierre users 23936 Nov 10 07:21gcc120/target-check-rtl-i386-wdosx.txt