[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] An alternative internal time type.
|
From: |
Jörg F. Wittenberger |
|
Subject: |
Re: [Chicken-hackers] An alternative internal time type. |
|
Date: |
Sat, 13 Jun 2015 13:30:38 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux armv7l; rv:31.0) Gecko/20100101 Icedove/31.7.0 |
Sorry,
the attached patch was rather non-sensical. Dunno how I managed to
compile the wrong directory... :-/
Am 13.06.2015 um 08:54 schrieb "Jörg F. Wittenberger":
> Hi,
>
> the attached patch adds initial support for an alternative internal time
> representation. (Keeps the default as "double".)