Fix r3434 check-in. Added missing end to Options.lb. Not entirely sure how it
[coreboot.git] / util / optionlist /
drwxr-xr-x   ..
-rw-r--r-- 1048 Makefile
-rw-r--r-- 1603 Options-wiki.xsl
-rw-r--r-- 2297 Options.xsl
-rw-r--r-- 1445 README
-rwxr-xr-x 3920 mkOptionList.py