diff Makefile @ 31711:472d726c1afd

tags: extract filenode filtering into its own function We'll also need to reuse this logic so we extract it into its own function. We document some of the logic in the process.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 28 Mar 2017 06:23:28 +0200
parents 6359976b43be
children fcddcf442e4f
line wrap: on
line diff