Move config files around, and clean up the mess in the config/ directory.
config/kernel/kernel_linux.in | 12 6 6 0 +-
config/paths.in | 89 0 89 0 ----------------
config/kernel_linux_headers_install.in | 168 0 168 0 ------------------------------
config/kernel.in | 2 1 1 0
config/kernel_linux_headers_copy.in | 42 0 42 0 --------
config/cc.in | 2 1 1 0
config/logging.in | 110 0 110 0 --------------------
config/build-behave.in | 45 0 45 0 --------
config/libc_uClibc.in | 101 0 101 0 ------------------
config/kernel_linux_headers_sanitised.in | 62 0 62 0 -----------
config/ct-behave.in | 82 0 82 0 ---------------
config/kernel_linux.in | 134 0 134 0 ------------------------
config/global.in | 10 5 5 0 +-
config/download_extract.in | 171 0 171 0 -------------------------------
config/cc_gcc.in | 130 0 130 0 ------------------------
config/libc_glibc.in | 124 0 124 0 ----------------------
config/libc.in | 4 2 2 0
17 files changed, 15 insertions(+), 1273 deletions(-)
4 font-family: verdana, arial, helvetica, sans-serif;
6 background-color: white;
9 /* part 1 of 2 centering hack */
19 /* opera does not like 'margin:20px auto' */
21 border: 3px groove #333;
23 /* part 2 of 2 centering hack */
24 width: 620px; /* ie5win fudge begins */
25 voice-family: "\"}\"";
31 width: 584px; /* ie5win fudge ends */
35 border:1px solid black;
42 font-family:verdana, sans-serif;
51 font-family:verdana, sans-serif;