Skip to content

Clean up and improve the docs

Amir MOHAMMADI requested to merge improvements into master

Add bob.devtools Fix mistakes in the docs Sort the list of packages as they are supposed to be sorted Mention bob.paper packages as examples of Bob

Merge request reports