From: Lucretia <laguest9000@googlemail.com>
Subject: Re: VSCode extension - Ada Utilities
Date: Thu, 14 Nov 2019 15:34:40 -0800 (PST)
Date: 2019-11-14T15:34:40-08:00 [thread overview]
Message-ID: <fb065c15-2b14-4ca6-b444-392fb06ab61b@googlegroups.com> (raw)
In-Reply-To: <qqkgcf$4us$1@franka.jacob-sparre.dk>
On Thursday, 14 November 2019 21:19:13 UTC, Randy Brukardt wrote:
> Could you be a bit clearer: what is a "VSCode extension"?? - Randy.
It's something that extends VSCode, obviously. This one adds a few commands, menu items and tasks.
next prev parent reply other threads:[~2019-11-14 23:34 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-14 18:10 Ann: VSCode extension - Ada Utilities Lucretia
2019-11-14 21:19 ` Randy Brukardt
2019-11-14 23:34 ` Lucretia [this message]
2019-11-15 0:01 ` Jere
2019-11-17 5:16 ` Randy Brukardt
2019-11-17 12:09 ` briot.emmanuel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox