On Tue, Dec 20, 2022 at 6:27 PM Noah Misch wrote:
> On Mon, Dec 19, 2022 at 09:09:25PM +0100, Peter Eisentraut wrote:
> > On 19.12.22 19:33, Robert Haas wrote:
> > >On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
> > >>Vik Fearing writes:
> > >>>Perhaps a bit off-topic, but what is the point of
Hi,
On 2022-12-19 10:20:45 -0500, Tom Lane wrote:
> Their comment density is pretty awful too --- maybe I'm just
> not used to meson, but they seem just about completely undocumented.
> And there's certainly been no effort to transfer the accumulated wisdom
> of the makefile comments (where it's s
On 2022-12-19 13:33:46 -0500, Robert Haas wrote:
> On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
> > Vik Fearing writes:
> > > Perhaps a bit off-topic, but what is the point of the file identifiers?
> >
> > IMO, it helps to tell things apart when you've got a bunch of editor
> > windows open on
On 2022-12-20 Tu 00:26, Noah Misch wrote:
> On Mon, Dec 19, 2022 at 09:09:25PM +0100, Peter Eisentraut wrote:
>> On 19.12.22 19:33, Robert Haas wrote:
>>> On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
Vik Fearing writes:
> Perhaps a bit off-topic, but what is the point of the file id
On Mon, Dec 19, 2022 at 09:09:25PM +0100, Peter Eisentraut wrote:
> On 19.12.22 19:33, Robert Haas wrote:
> >On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
> >>Vik Fearing writes:
> >>>Perhaps a bit off-topic, but what is the point of the file identifiers?
> >>
> >>IMO, it helps to tell things a
On 2022-12-19 Mo 15:09, Peter Eisentraut wrote:
> On 19.12.22 19:33, Robert Haas wrote:
>> On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
>>> Vik Fearing writes:
Perhaps a bit off-topic, but what is the point of the file
identifiers?
>>>
>>> IMO, it helps to tell things apart when yo
On 19.12.22 19:33, Robert Haas wrote:
On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
Vik Fearing writes:
Perhaps a bit off-topic, but what is the point of the file identifiers?
IMO, it helps to tell things apart when you've got a bunch of editor
windows open on some mighty samey-looking me
On Mon, Dec 19, 2022 at 1:03 PM Tom Lane wrote:
> Vik Fearing writes:
> > Perhaps a bit off-topic, but what is the point of the file identifiers?
>
> IMO, it helps to tell things apart when you've got a bunch of editor
> windows open on some mighty samey-looking meson.build files.
On the other h
Vik Fearing writes:
> Perhaps a bit off-topic, but what is the point of the file identifiers?
IMO, it helps to tell things apart when you've got a bunch of editor
windows open on some mighty samey-looking meson.build files.
regards, tom lane
On 12/19/22 16:20, Tom Lane wrote:
Andrew Dunstan writes:
I notice that none of the meson files contain copyright notices. Shall I
add them?
+1. Their comment density is pretty awful too --- maybe I'm just
not used to meson, but they seem just about completely undocumented.
And there's certa
Andrew Dunstan writes:
> I notice that none of the meson files contain copyright notices. Shall I
> add them?
+1. Their comment density is pretty awful too --- maybe I'm just
not used to meson, but they seem just about completely undocumented.
And there's certainly been no effort to transfer the
I notice that none of the meson files contain copyright notices. Shall I
add them?
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com
12 matches
Mail list logo
