Remove duplicate options. From Florian Lohoff.
tree0635bcfea6fa9ffc7ebb9dd5a65388f14c57c42f
-rw-r--r-- 118 .cvsignore
-rw-r--r-- 18483 COPYING
-rw-r--r-- 66991 CREDITS
drwxr-xr-x - Documentation
-rw-r--r-- 26206 MAINTAINERS
-rw-r--r-- 15596 Makefile
-rw-r--r-- 14318 README
-rw-r--r-- 2734 REPORTING-BUGS
-rw-r--r-- 7764 Rules.make
drwxr-xr-x - arch
drwxr-xr-x - drivers
drwxr-xr-x - fs
drwxr-xr-x - include
drwxr-xr-x - init
drwxr-xr-x - ipc
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - net
drwxr-xr-x - scripts