licenses.d/by-sa/deed_files/deeds.css
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 03 21:11:41 2009 +0000 (2009-01-03)
changeset 1112 c72aecd1a9ef
parent 1 eeea35fbf182
permissions -rw-r--r--
Get rid of all stuff related to building a /delivery' traball:
- building a delivery tarball has long been broken (since crostool-Ng is installable)
- get rid of implied do_print_filename, that can be mis-leading now tarballs can not be built

/trunk/scripts/build/kernel/bare-metal.sh | 4 0 4 0 ----
/trunk/scripts/build/kernel/linux.sh | 4 0 4 0 ----
/trunk/scripts/build/tools/000-template.sh | 11 0 11 0 -----------
/trunk/scripts/build/tools/100-libelf.sh | 4 0 4 0 ----
/trunk/scripts/build/tools/200-sstrip.sh | 11 1 10 0 +----------
/trunk/scripts/build/binutils.sh | 4 0 4 0 ----
/trunk/scripts/build/cc/gcc.sh | 5 0 5 0 -----
/trunk/scripts/build/debug/000-template.sh | 11 0 11 0 -----------
/trunk/scripts/build/debug/100-dmalloc.sh | 4 0 4 0 ----
/trunk/scripts/build/debug/400-ltrace.sh | 4 0 4 0 ----
/trunk/scripts/build/debug/300-gdb.sh | 7 0 7 0 -------
/trunk/scripts/build/debug/500-strace.sh | 4 0 4 0 ----
/trunk/scripts/build/debug/200-duma.sh | 4 0 4 0 ----
/trunk/scripts/build/libc/none.sh | 5 0 5 0 -----
/trunk/scripts/build/libc/glibc.sh | 10 0 10 0 ----------
/trunk/scripts/build/libc/uClibc.sh | 6 0 6 0 ------
/trunk/scripts/build/libc/eglibc.sh | 10 0 10 0 ----------
/trunk/scripts/build/gmp.sh | 6 0 6 0 ------
/trunk/scripts/build/mpfr.sh | 6 0 6 0 ------
/trunk/docs/overview.txt | 9 0 9 0 ---------
20 files changed, 1 insertion(+), 128 deletions(-)
     1 body {
     2 	margin: 0px;
     3 	padding: 0px;
     4 	font-family: verdana, arial, helvetica, sans-serif;
     5 	color: black;
     6 	background-color: white;
     7 	text-align: center;
     8 	font-size:11px;
     9 	/* part 1 of 2 centering hack */
    10 	}
    11 
    12 #deed {
    13 	width: 620px; 
    14 	padding: 15px;
    15 	margin-top: 20px;
    16 	margin-bottom: 20px;
    17 	margin-right: auto;
    18 	margin-left: auto; 	
    19 	/* opera does not like 'margin:20px auto' */
    20 	background: #ffc;
    21 	border: 3px groove #333;
    22 	text-align:left; 
    23 	/* part 2 of 2 centering hack */
    24 	width: 620px; /* ie5win fudge begins */
    25 	voice-family: "\"}\"";
    26 	voice-family:inherit;
    27 	width: 584px;
    28 	}
    29 	
    30 html>body #content {
    31 	width: 584px; /* ie5win fudge ends */
    32 	}
    33 	
    34 .fineprint {
    35 	border:1px solid black; 
    36 	padding:8px; 
    37 	background:#ffffff;
    38 	text-align:justify;
    39 }
    40 
    41 .text, li {
    42 	font-family:verdana, sans-serif;
    43 	font-size:11px;
    44 	margin-left:20px;
    45 	margin-right:20px;
    46 	line-height:140%;
    47 	text-align:left;
    48 }
    49 
    50 .tiny {
    51 	font-family:verdana, sans-serif;
    52 	font-size:11px;
    53 	margin-bottom:10px;
    54 }