diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-25 09:19:27 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-25 09:19:27 (GMT) |
| commit | 1ada2b68b62c44b7379f3623567dbb291d04ab7a (patch) | |
| tree | f0f6e1721ab2c437b3a513badff0dc22578f8758 /tools | |
| parent | b34cff91a39481744107ef0453f8d44ae5c7fb73 (diff) | |
Skeleton for the global keys stuff
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions