Oops; can't default the file extension (.html) ED-20150303
authorRalph Swick <swick+git@w3.org>
Wed, 04 Mar 2015 16:48:47 -0500
branchED-20150303
changeset 150 68f2be460152
parent 149 4549146b2696
Oops; can't default the file extension (.html)
cover.html
--- a/cover.html	Wed Mar 04 16:43:59 2015 -0500
+++ b/cover.html	Wed Mar 04 16:48:47 2015 -0500
@@ -31,7 +31,7 @@
         <dt>Previous editor:</dt>
         <dd>Ian Jacobs, <a href="http://www.w3.org/">W3C</a></dd>
 	<dt>Changes:</dt>
-	<dd><a href="diff">Diff to 2014 Process Document</a></dd>
+	<dd><a href="diff.html">Diff to 2014 Process Document</a></dd>
       </dl>
       <p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> © 1996-2015 <a href="/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup>
         (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts Institute of Technology">MIT</abbr></a>, <a href="http://www.ercim.eu/"><abbr