summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--public-repository/index.html12
1 files changed, 9 insertions, 3 deletions
diff --git a/public-repository/index.html b/public-repository/index.html
index 169c054..c9b0767 100644
--- a/public-repository/index.html
+++ b/public-repository/index.html
@@ -48,10 +48,16 @@ git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/litmus.git
48git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git 48git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git
49</pre> 49</pre>
50 <p class="nobottommargin"> 50 <p class="nobottommargin">
51 Please contact the <a href="../index.html#collaborators">current maintainer</a> if you 51 Note that the <tt>litmus.git</tt> repository contains a large portion of the
52 have any questions. 52 Linux kernel repository, and will take some time to download. It is 1.1 GB in
53 size as of February, 2011.
54 </p>
55
56 <p class="nobottommargin">
57 Please contact the <a href="../index.html#collaborators">current maintainer</a> if you
58 have any questions.
53 </p> 59 </p>
54 </div> 60 </div>
55 61
56 </body> 62 </body>
57</html> \ No newline at end of file 63</html>