diff Makefile @ 31707:9cd640e5c1ba

tags: reorder argument of '_updatetags' We move all arguments related to tagtype to the end, together. This will allow us to make these arguments optional and reuse of this logic for callers that do not care about the tag types.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 28 Mar 2017 07:38:10 +0200
parents 6359976b43be
children fcddcf442e4f
line wrap: on
line diff