diff options
author | 2003-05-16 09:54:33 +0000 | |
---|---|---|
committer | 2003-05-16 09:54:33 +0000 | |
commit | 8b5c49faa3aa5649ffacb8fddf6621e2d7e6980a (patch) | |
tree | f9011358b34e3d699963972e03d22dc0eb80c4c7 /gnome-extra | |
parent | new package: Automated Deduction System (diff) | |
download | historical-8b5c49faa3aa5649ffacb8fddf6621e2d7e6980a.tar.gz historical-8b5c49faa3aa5649ffacb8fddf6621e2d7e6980a.tar.bz2 historical-8b5c49faa3aa5649ffacb8fddf6621e2d7e6980a.zip |
new package: Automated Deduction System
Diffstat (limited to 'gnome-extra')
0 files changed, 0 insertions, 0 deletions