chiark / gitweb /
Complete missing server options
authorDaniel Martí <mvdan@mvdan.cc>
Sun, 11 Jan 2015 13:24:45 +0000 (14:24 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Sun, 11 Jan 2015 13:24:45 +0000 (14:24 +0100)
commit6f4ffefb05856dc77a34617edbd374a69b382fe9
tree853d78706e2c094078732df28b6e38d851967a9b
parent443af0bba4931511700999d390fe87d9915820b7
Complete missing server options
completion/bash-completion