+# ------
+# NOTE: On or shortly after 2010-07-12, the official TinyOS repository was
+# migrated from CVS to Subversion, at http://tinyos-main.googlecode.com/svn.
+# As of this writing, tinyos-2.x-contrib remains hosted on CVS at sf.net.
+# ------
+#