summaryrefslogtreecommitdiff
path: root/maint/cbindgen
Commit message (Expand)AuthorAgeFilesLines
* maint/cbindgen: Workaround for systems without gnu-getopt by default.Nick Mathewson2024-10-211-2/+9
* cbindgen script: Fix behavior of --checkNick Mathewson2024-08-071-1/+1
* Add a missing "-".Nick Mathewson2024-07-311-1/+1
* Add a script to run cbindgen and check its outputs.Nick Mathewson2024-07-311-0/+172