fix license quoting in files.yaml
[gnulib.git] / headers / trace.texi