chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad80e43) | patch
shapelib: Remove now-needless type annotation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 May 2022 23:04:29 +0000 (00:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 May 2022 23:09:03 +0000 (00:09 +0100)
commit0524cb20d550c7dd10c82792cbda1fa9cc079cfe
treefb526488f2a86eedbbfb9e32051a12b760bfb695tree | snapshot
parentad80e43612084e6e164bc3a5de794e2b8d480e34commit | diff
shapelib: Remove now-needless type annotation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/shapelib.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.