diff options
| author | Dave Jones <davej@codemonkey.org.uk> | 2019-07-18 23:51:56 -0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2019-07-19 12:22:04 -0700 |
| commit | 40ef768ab6eecc1b51461a034274350b31fc29d1 (patch) | |
| tree | 01cf98acb872b454797705861b90c7c256ebeae5 /Documentation/dev-tools/sparse.rst | |
| parent | 41ba485ef1d0dca98c5b194b8fb19201e123a08d (diff) | |
Remove references to dead website.
This fell into disrepair a while ago, and the majority of hits to the
snapshots were from bots, so it's more trouble to keep running than it's worth.
Signed-off-by: Dave Jones <davej@codemonkey.org.uk>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'Documentation/dev-tools/sparse.rst')
| -rw-r--r-- | Documentation/dev-tools/sparse.rst | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst index c401c952a340..6f4870528226 100644 --- a/Documentation/dev-tools/sparse.rst +++ b/Documentation/dev-tools/sparse.rst @@ -81,11 +81,6 @@ of sparse using git to clone:: git://git.kernel.org/pub/scm/devel/sparse/sparse.git -DaveJ has hourly generated tarballs of the git tree available at:: - - http://www.codemonkey.org.uk/projects/git-snapshots/sparse/ - - Once you have it, just do:: make |