chiark / gitweb /
Fix a typo in devel.but.
authorSimon Tatham <anakin@pobox.com>
Fri, 29 Sep 2017 16:07:08 +0000 (17:07 +0100)
committerSimon Tatham <anakin@pobox.com>
Fri, 29 Sep 2017 16:07:08 +0000 (17:07 +0100)
commitc2a8a60a09165c0da6e2cd1faad2905ecff1e995
treeab51705f6c98da6620ba235b93686d648b4662ab
parent05938e1f64bccaa7019a2aee48d82092df533362
Fix a typo in devel.but.
devel.but