diff options
-rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -553,7 +553,7 @@ scons | |||
553 | <p class="qa">LITMUS<sup>RT</sup> provides numerous tracing facilities that are discussed in-depth in the tutorial <a href="doc/tracing.html">Tracing with LITMUS<sup>RT</sup></a>. | 553 | <p class="qa">LITMUS<sup>RT</sup> provides numerous tracing facilities that are discussed in-depth in the tutorial <a href="doc/tracing.html">Tracing with LITMUS<sup>RT</sup></a>. |
554 | </p> | 554 | </p> |
555 | <p class="nobottommargin"> | 555 | <p class="nobottommargin"> |
556 | Please contact <span class="src">bbb[AT]cs.unc.edu</span> if you have any | 556 | Please contact the <a href="#collaborators">current maintainer</a> if you have any |
557 | questions. | 557 | questions. |
558 | </p> | 558 | </p> |
559 | 559 | ||