chiark / gitweb /
overview diagram: Manually strip date from fig2dev output