makeclean / occ_faceter

GNU Lesser General Public License v2.1
4 stars 6 forks source link

Use correct branch in Dockerfile #22

Closed johnnonweiler closed 12 months ago

johnnonweiler commented 1 year ago

The dockerfile clones this repo, and was mistakenly set to clone a branch from a fork. This is a change to use the master branch of this repo.

(It might be better not to do any git clones in the dockerfile, and I plan to look for a better approach to this.)