chiark / gitweb /
increase portal size
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Dec 2020 15:31:43 +0000 (15:31 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 8 Dec 2020 15:31:43 +0000 (15:31 +0000)
commita0e8c306cdc827ff8e1d34adf8d91cb46b6abd0e
tree2e91250c5f29f81cab27efd09a032fee22da246a
parente3eae00baa4ffafc50a0df12442f4ba9ed37b13b
increase portal size

Suggested-by: Simon Tatham <anakin@pobox.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
library/edited.toml