Feature/remove jenkins

Merged
#340 · Created  · Last updated

Merged pull request

Merged in feature/remove_jenkins (pull request #340)

6c74667·Author: ·Closed by: ·2021-02-08

Description

  • Remove Jenkins related files

  • Update makefiles commit to point at version without Jenkins files

 

0 attachments

0 comments

Loading commits...