From: gautier_niouzes@hotmail.com
Subject: Re: how to be informed where to put spaces
Date: Sat, 9 Nov 2019 11:25:38 -0800 (PST)
Date: 2019-11-09T11:25:38-08:00 [thread overview]
Message-ID: <915d1eda-e6fb-4eb5-a11a-6e097d4bf846@googlegroups.com> (raw)
In-Reply-To: <deafc9e4-8608-4c65-b9ea-c9313d721072@googlegroups.com>
If you type gnatmake without parameters, you get a long list of options, among them:
-gnatyxx Enable selected style checks xx = list of parameters:
among those:
c check comment format (two spaces)
C check comment format (one space)
next prev parent reply other threads:[~2019-11-09 19:25 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-09 19:08 how to be informed where to put spaces Alain De Vos
2019-11-09 19:25 ` gautier_niouzes [this message]
2019-11-09 19:35 ` Alain De Vos
2019-11-09 19:54 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox