diff options
author | Thomas Lange <lange@informatik.uni-koeln.de> | 2019-04-14 18:22:04 +0200 |
---|---|---|
committer | Thomas Lange <lange@informatik.uni-koeln.de> | 2019-04-14 18:27:29 +0200 |
commit | cb08d10db939aa60ca08fefd6faf1f2b221b95bf (patch) | |
tree | 3fb6960b8babfe0554b73cf0a7ef727bbed21db1 | |
parent | 185f8ac0d294e89e66dd00f886a1ea8ad9269203 (diff) |
remove partitial checkouts, which do not make much sense now
-rw-r--r-- | english/devel/website/working.wml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/english/devel/website/working.wml b/english/devel/website/working.wml index 198f86dc19d..0431e69d607 100644 --- a/english/devel/website/working.wml +++ b/english/devel/website/working.wml @@ -14,13 +14,6 @@ archive. If you (accidentally) rebuild all of the pages, you will need at least three times as much space. -<h3>Partial checkouts</h3> - -<p>Lots of people won't have the whole <code>webwml</code> git tree checked -out, which sometimes leads to missing files and broken builds, in case a -crucial new file is added and one doesn't have a full checkout. -Remember to verify that you have all the required files (like -.wmlrc files) before complaining to us.</p> <h3><q>What are these lines beginning with `#'?</q></h3> |