Marco Pesenti Gritti d791577e79 Set default font size to 14

2006-10-11 21:55:10 +02:00

..

activity

Set default font size to 14

2006-10-11 21:55:10 +02:00

chat

…

graphics

Fix children counting

2006-10-10 01:14:24 +02:00

p2p

…

presence

…

session

…

testing

…

__init__.py

…

__installed__.py.in

…

__uninstalled__.py.in

…

env.py

…

logger.py

…

Makefile.am

Get rid of the old simulator

2006-10-10 16:35:52 +02:00

setup.py

…

simulator.py

Get names in random order

2006-10-10 10:02:03 +02:00

TracebackUtils.py

…

util.py

…