log

age author description
Tue, 13 May 2008 08:33:48 +0000 diego Fix one more license header wording detail for consistency.
Tue, 13 May 2008 08:02:23 +0000 diego Use standard license header.
Tue, 13 May 2008 07:58:41 +0000 diego Fix typo in install-gui target dependency.
Mon, 12 May 2008 20:40:42 +0000 eugeni Cosmetics: remove some commented code.
Mon, 12 May 2008 20:40:39 +0000 eugeni Change subtitle selection order by giving "indirect" ways of specifying the
Mon, 12 May 2008 17:39:36 +0000 diego Use standard license headers.
Mon, 12 May 2008 17:33:35 +0000 diego consistency cosmetics: Move some parts of file headers around; typo fixes.