digitalmars.D - dip1000 info web address
- crimaniak (9/9) Dec 21 2017 Hi all!
- rikki cattermole (2/14) Dec 21 2017 DMD, a simple PR if you want to do it :)
- Mike Franklin (2/11) Dec 21 2017 https://github.com/dlang/dmd/pull/7489
- crimaniak (2/3) Dec 21 2017 It was fast :)
Hi all! There is a string in DMD help message: -dip1000 implement http://wiki.dlang.org/DIP1000 (experimental) But in fact page http://wiki.dlang.org/DIP1000 is empty, and DIP100 information resides at the address https://github.com/dlang/DIPs/blob/master/DIPs/DIP1000.md Wrote it here because not sure if this is site problem (need to create DIP100 page in Wiki) or DMD problem (need to fix address)
Dec 21 2017
On 22/12/2017 3:57 AM, crimaniak wrote:Hi all! There is a string in DMD help message: -dip1000 implement http://wiki.dlang.org/DIP1000 (experimental) But in fact page http://wiki.dlang.org/DIP1000 is empty, and DIP100 information resides at the address https://github.com/dlang/DIPs/blob/master/DIPs/DIP1000.md Wrote it here because not sure if this is site problem (need to create DIP100 page in Wiki) or DMD problem (need to fix address)DMD, a simple PR if you want to do it :)
Dec 21 2017
On Friday, 22 December 2017 at 03:57:22 UTC, crimaniak wrote:Hi all! There is a string in DMD help message: -dip1000 implement http://wiki.dlang.org/DIP1000 (experimental) But in fact page http://wiki.dlang.org/DIP1000 is empty, and DIP100 information resides at the address https://github.com/dlang/DIPs/blob/master/DIPs/DIP1000.md Wrote it here because not sure if this is site problem (need to create DIP100 page in Wiki) or DMD problem (need to fix address)https://github.com/dlang/dmd/pull/7489
Dec 21 2017
On Friday, 22 December 2017 at 04:15:14 UTC, Mike Franklin wrote:https://github.com/dlang/dmd/pull/7489It was fast :)
Dec 21 2017