Thread overview | |||||
---|---|---|---|---|---|
|
January 30, 2021 [Issue 21596] Header generation should NOT touch the existing identical header file, if any | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21596 --- Comment #1 from Andrei Alexandrescu <andrei@erdani.com> --- Related: https://issues.dlang.org/show_bug.cgi?id=21597 -- |
December 17, 2022 [Issue 21596] Header generation should NOT touch the existing identical header file, if any | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21596 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P1 |P4 -- |
December 13 [Issue 21596] Header generation should NOT touch the existing identical header file, if any | ||||
---|---|---|---|---|
| ||||
https://issues.dlang.org/show_bug.cgi?id=21596 --- Comment #2 from dlangBugzillaToGithub <robert.schadek@posteo.de> --- THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/19862 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB -- |
Copyright © 1999-2021 by the D Language Foundation