Commit Graph

3 Commits

Author SHA1 Message Date
nick black
5879c8a523
rustdoc-update-gh-pages: git pull at end 2021-07-20 16:03:41 -04:00
joseLuís
1b5880c5d9 rust: use sh for the rust doc build script 2020-12-09 17:21:25 +01:00
joseLuís
a60a82ded9 rust: new script to update docs on release #1125 2020-12-09 17:10:45 +01:00