comparison debian/menu @ 31665:02d92c137407

Port GNU assembler check from FFmpeg.
author diego
date Tue, 13 Jul 2010 14:51:31 +0000
parents c9e946b14b44
children
comparison
equal deleted inserted replaced
31664:0850cb05c836 31665:02d92c137407