diff Makefile @ 5932:fe25ec8f0124 stable

topic: use "served" repo filter to guess what the server will publish
author Anton Shestakov <av6@dwimlabs.net>
date Mon, 24 May 2021 15:14:30 +0800
parents a86c2682f608
children 7da0f8128d90
line wrap: on
line diff