diff help/help_diff.sh @ 18221:8ea3b8660dd7

Remove second, redundant x86_exts_check.
author diego
date Sun, 23 Apr 2006 12:53:29 +0000
parents c90a84da69f1
children 3fb0eb698ce8
line wrap: on
line diff