chiark / gitweb /
rename variable
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 26 Aug 2020 22:29:05 +0000 (23:29 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 26 Aug 2020 22:29:05 +0000 (23:29 +0100)
commit7b6735c20b01ab659658eab6c95f5cc236d484a6
tree7a6256be475c5948089f7ce93587f5e116c77690
parent33ff868f6ba83a2a2aa304af481636ac08a6281d
rename variable
src/bin/server.rs