Marco Pesenti Gritti 3353881920 Forgot to add these

2007-02-15 16:46:26 +01:00

..

data

…

python

Add some infrastructure for font sizes.

2007-02-15 15:09:38 +01:00

src

Forgot to add these

2007-02-15 16:46:26 +01:00

threadframe

…

__init__.py

…

Makefile.am

Read mozilla prefs from a js file

2006-10-25 15:43:37 +02:00