star-build

commit 1e5f0ba7712892d3f6694fc6a3e3c4cb4402a2cb
parent 46ef7e7f56577e4839710afc90e335a006a18dd6
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Fri,  9 May 2025 14:19:31 +0200

Delete a useless tag file

Not only was it empty, but more importantly, it shouldn't have been
tracked by git.

Diffstat:
D
src/tags
 | 
0

1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/src/tags b/src/tags