Skip to content

Update dockerfile to use grep instead of tail/head. Thanks to @luc. Closes #17.

Marc-AntoineA requested to merge 17-use-grep-docker-file into master

Closes #17 (closed)

Merge request reports