Codebase list coq / a58d388
debian/copyright: use spaces rather than tabs to start continuation lines. Changes-By: lintian-brush Fixes: lintian: tab-in-license-text See-also: https://lintian.debian.org/tags/tab-in-license-text.html Debian Janitor 2 years ago
2 changed file(s) with 2 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
55
66 [ Debian Janitor ]
77 * Trim trailing whitespace.
8 * debian/copyright: use spaces rather than tabs to start continuation lines.
89
910 -- Julien Puydt <jpuydt@debian.org> Tue, 02 Nov 2021 20:47:56 +0100
1011
6161
6262 Files: ide/protocol/xml_parser.ml
6363 Copyright: 2003 Nicolas Cannasse <ncannasse@motion-twin.com>
64 2003 Jacques Garrigue
64 2003 Jacques Garrigue
6565 License: LGPL-2.1+
6666
6767 Files: plugins/micromega/sos.ml plugins/micromega/sos_lib.ml