Commit Graph

2 Commits

Author SHA1 Message Date
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