Marco Pesenti Gritti 5731405901 Promote terminal activity from terminal to activities. Fix api		2006-07-20 09:58:45 +02:00
..
__init__.py	Promote terminal activity from terminal to activities. Fix api	2006-07-20 09:58:45 +02:00
Makefile.am	Promote terminal activity from terminal to activities. Fix api	2006-07-20 09:58:45 +02:00
terminal.activity	Promote terminal activity from terminal to activities. Fix api	2006-07-20 09:58:45 +02:00
terminal.py	Promote terminal activity from terminal to activities. Fix api	2006-07-20 09:58:45 +02:00