← Back to team overview

fiat team mailing list archive

Thread
Date

FIAT 0.3.2-1 released

To: "Discussion of FIAT development" <fiat-dev@xxxxxxxxxx>
From: "Robert Kirby" <robert.c.kirby@xxxxxxxxx>
Date: Wed, 12 Sep 2007 09:21:09 -0500
Delivered-to: fiat-dev@xxxxxxxxxx

This includes the numbering.py file, which seems to have a way of vanishing
from the distro...