whorfin 173b30cd59 Extract version from directory name if .git dir is missing (#1327) ... * Extract version from directory name if .git dir is missing * Avoid using shell * Remove .gitinfo build from pipeline		2021-09-06 21:26:04 -04:00
..
docker-tags.sh	Add pr-# tag to Docker image	2020-05-04 12:19:20 -04:00
pipeline.dockerfile	Build and release Docker image for Linux 32 bits platform (#1260)	2021-07-24 07:51:12 -04:00
pipeline.yml	Extract version from directory name if .git dir is missing (#1327)	2021-09-06 21:26:04 -04:00