[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [DMD] [PATCH] doc: Fix location of default user dmd configuration fi
From: |
Ludovic Courtès |
Subject: |
Re: [DMD] [PATCH] doc: Fix location of default user dmd configuration file. |
Date: |
Sun, 03 May 2015 22:03:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
David Thompson <address@hidden> skribis:
> From 5604ea6b3760b3289dd7617c57910669f5b3922e Mon Sep 17 00:00:00 2001
> From: David Thompson <address@hidden>
> Date: Sat, 2 May 2015 18:58:44 -0400
> Subject: [PATCH] doc: Fix location of default user dmd configuration file.
>
> * dmd.texi ("Jump Start"): Document the real default user config file.
Pushed, thanks!
Ludo’.