SeaQL / seaql.github.io

📙 The official website of SeaQL
https://www.sea-ql.org/
Other
19 stars 44 forks source link

Fix broken docs.rs links in documentation #130

Closed paul-hansen closed 2 months ago

paul-hansen commented 2 months ago

PR Info

Closes #129

Changes

Fixed broken docs.rs links in documentation

paul-hansen commented 2 months ago

@tyt2y3 Do you know if I should update the same links in the affected versioned_docs too? Not sure if there's something used to generate those or something.

tyt2y3 commented 2 months ago

ah, you're right! since it's broken since 0.7 (I guess?) we can edit every version after it. sadly there is no tool to edit the old versions, they're archives after all. good enough for now!