Topic: leanpkg refer to branches
Jakob von Raumer (Oct 24 2018 at 10:49):
Can I refer to git branches instead of revisions in
Gabriel Ebner (Oct 24 2018 at 11:43):
It should work. You can also refer to the revision of the branch, of course.
Last updated: May 12 2021 at 22:15 UTC