Il 16/dic/2015 16:32, "John W. Eaton" <address@hidden
<mailto:address@hidden>> ha scritto:
>
> This changeset
>
> # HG changeset patch
> # User Carlo de Falco
> # Date 1450257905 -3600
> # Wed Dec 16 10:25:05 2015 +0100
> # Node ID 0fb9de5b790310d2018534562b6c8466595a63ab
> # Parent 40e1134ec9843c96f36733b3f6d06c3f4d6872b5
> remove verbose warnings from ode solvers
>
> added scripts/ode/private/known_option_names to the list of files in
scripts/ode/modules.mk <http://modules.mk> (I think that should end with
.m) but didn't add the file.
>
> jwe
I thought I added the file with a following changeset did I forget to push?
c.