first proposal to integrate JARM as equal option

Branch: make-jarm-equal-alternative

Branch: master

Merged

#131 · Created 2019-07-12 · Last updated 2019-08-26

Merged pull request

Merged in make-jarm-equal-alternative (pull request #131)

59bec67·Author: Torsten Lodderstedt·Closed by: Joseph Heenan·2019-08-26

Description

0 attachments

0 comments

Loading commits...