Allow documentation finding to link against specific manual versions if possible (!44) · Merge requests · bob / bob.extension

Merged André Anjos requested to merge doc-version into master 7 years ago

Status	Pipeline	Stages	Actions
Passed 00:16:47 7 years ago	Update documentation server location; Remove downloads/per-month icon #10703 doc-version cb215606	Stage: build Stage: test	Download artifacts No artifacts found
Canceled 00:03:39 7 years ago	Make new_version script compatible with new readme templates on bob.admin #10702 doc-version f5dead70	Stage: build Stage: test	Download artifacts No artifacts found
Passed 00:13:22 7 years ago	Allow documentation finding to link against specific manual versions if possible #10698 doc-version 8f950d5a	Stage: build Stage: test	Download artifacts No artifacts found

Allow documentation finding to link against specific manual versions if possible