From: reinert <reinkor@gmail.com>
Subject: Re: Well spent time to start using gnatcoll.json ?
Date: Wed, 16 Oct 2019 08:19:31 -0700 (PDT)
Date: 2019-10-16T08:19:31-07:00 [thread overview]
Message-ID: <f9904971-0ab5-436e-9bb1-0f80963fc41b@googlegroups.com> (raw)
In-Reply-To: <qo7801$13a2$1@gioia.aioe.org>
next prev parent reply other threads:[~2019-10-16 15:19 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-10-16 7:32 Well spent time to start using gnatcoll.json ? reinert
2019-10-16 13:29 ` joakimds
2019-10-16 14:03 ` Dmitry A. Kazakov
2019-10-16 15:19 ` reinert [this message]
2019-10-17 12:15 ` reinert
2019-10-18 6:47 ` reinert
2019-10-18 9:24 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox