diff options
Diffstat (limited to 'public-repository')
-rw-r--r-- | public-repository/index.html | 12 |
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 | |||
48 | git clone http://www.cs.unc.edu/~anderson/litmus-rt/public-repository/liblitmus.git | 48 | git 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> |