Update project information (!10) · Merge requests · 713 / Warden / TypedCols · GitLab

Snippets Groups Projects

Merged Rajmund Hruška requested to merge hruska-feature-improve-documentation into devel 2 years ago

Fixes #3 (closed).

Activity

Rajmund Hruška changed milestone to %0.1.14 2 years ago

changed milestone to %0.1.14
Rajmund Hruška assigned to @rajmund_hruska 2 years ago

assigned to @rajmund_hruska
Rajmund Hruška merged 2 years ago

merged
Rajmund Hruška mentioned in commit 70e2f1ec 2 years ago

mentioned in commit 70e2f1ec

Please register or sign in to reply