chiark / gitweb /
create tip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:52:51 +0000 (14:52 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:52:51 +0000 (14:52 +0000)
commit63f907df8c8d67156359a4a384dd0060d3de31d3
treefc1a62d8adca75826358ca9552978e35303ddb7a
parent3064ca6a757bfdabbc11f78e579dae2f36146bf4
create tip
article.tex