diff Makefile @ 61:26cf051f6c93

Rename alldata_REPO_flag to alldata_flag_REPO
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 21 Mar 2019 01:11:12 +0100
parents c6438f86e605
children 29ede570c816
line wrap: on
line diff