diff options
Diffstat (limited to 'build-aux/check.mk')
| -rw-r--r-- | build-aux/check.mk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build-aux/check.mk b/build-aux/check.mk index aee037053..2f44ec7ff 100644 --- a/build-aux/check.mk +++ b/build-aux/check.mk @@ -8,8 +8,6 @@ ## ## The complete GNU General Public Licence Notice can be found as the ## `COPYING' file in the root directory. -## -## The Vaucanson Group consists of people listed in the `AUTHORS' file. ## Override the definition from Automake to generate a log file with ## failed tests. It also supports parallel make checks. |