Pieter de Bie 31cf9cfbee WebHistoryView: Don't try to display PDF files anymore ...

This used to work, but it probably changed with 1.5.6 or something,
so let's just remove PDF support

2009-01-25 15:38:23 +00:00

..

history.css

Improve margins now that we can toggle things in rightcontent div.

2009-01-19 16:50:52 +00:00

history.js

WebHistoryView: Don't try to display PDF files anymore

2009-01-25 15:38:23 +00:00

index.html

Add id to "Gist it" button so we can refer to it from JS.

2009-01-19 16:38:07 +00:00