chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b38993) | patch
wdriver: Remove an unused field
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Mar 2022 11:48:18 +0000 (11:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 6 Mar 2022 11:48:18 +0000 (11:48 +0000)
commitd743087d5ad773a57e9a6c47c557a371226f3288
treef316409191394e804b703e85e85305a2cf94484btree | snapshot
parent4b38993cbc842a5fc44dce5f14dcdb4bcace239ccommit | diff
wdriver: Remove an unused field

This was just here for possible use in error messages but we use name
instead.
wdriver/wdriver.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.