Clean up and improve the docs (!17) · Merge requests · bob / docs · GitLab

Snippets Groups Projects

Merged Amir MOHAMMADI requested to merge improvements into master 5 years ago

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

Activity

Amir MOHAMMADI added 1 commit 5 years ago
added 1 commit

46fa6296 - Clean up and improve the docs

Compare with previous version
Amir MOHAMMADI added 1 commit 5 years ago
added 1 commit

6f1df288 - Clean up and improve the docs

Compare with previous version
Amir MOHAMMADI added 1 commit 5 years ago
added 1 commit

b8a1a6c6 - Clean up and improve the docs

Compare with previous version
Amir MOHAMMADI added 1 commit 5 years ago
added 1 commit

7eefa013 - Clean up and improve the docs

Compare with previous version
Amir MOHAMMADI added 1 commit 5 years ago
added 1 commit

6cada9ab - Clean up and improve the docs

Compare with previous version
Tiago de Freitas Pereira enabled an automatic merge when the pipeline for 6cada9ab succeeds 5 years ago

enabled an automatic merge when the pipeline for 6cada9ab succeeds
Tiago de Freitas Pereira merged 5 years ago

merged
Tiago de Freitas Pereira mentioned in commit 1358d167 5 years ago

mentioned in commit 1358d167
André Anjos mentioned in issue bob.devtools#45 (closed) 5 years ago

mentioned in issue bob.devtools#45 (closed)
Amir MOHAMMADI mentioned in issue bob#246 (closed) 5 years ago

mentioned in issue bob#246 (closed)

Please register or sign in to reply