Switch to unified view

a/doc/release-0.9.html b/doc/release-0.9.html
...
...
762
</div>
762
</div>
763
</div>
763
</div>
764
<div id="footnotes"><hr /></div>
764
<div id="footnotes"><hr /></div>
765
<div id="footer">
765
<div id="footer">
766
<div id="footer-text">
766
<div id="footer-text">
767
Last updated 2014-11-12 18:10:25 CET
767
Last updated 2014-12-03 19:21:21 CET
768
</div>
768
</div>
769
</div>
769
</div>
770
</body>
770
</body>
771
</html>
771
</html>