diff options
| author | Randy Dunlap <rdunlap@infradead.org> | 2017-08-10 16:48:26 -0700 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-08-10 22:46:47 -0400 |
| commit | 08c90b01cf00e6c18d1e69cd473f7e097a2231a7 (patch) | |
| tree | e4abd3afad6e904105c17fed292ac23a4166a98d /Makefile | |
| parent | 52ac17499e48060503d1be0c495d74d7ca6ca73f (diff) | |
| download | sparse-dev-08c90b01cf00e6c18d1e69cd473f7e097a2231a7.tar.gz | |
documentation: update email reference link
gmane.org was shut down for awhile, then bought by someone else,
and is now being rebuilt. Links to it are not reliable for now,
so add a link to marc.info for the same email message.
Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions