Subject: [FIAT-dev] took out some files

From: [email-masked]
Date: Tue, 05 Jul 2005 17:44:15 +0200

Commit from kirby (2005-07-05 17:44 CEST)
-----------------

took out some files

- fiat  FIAT/shapes_new.py    1.8
- fiat  FIAT/shapespoints.py  1.2