ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity

Update copyright header script to support CMake and Python files (#5067)

Browse Source 
This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header.
This commit is contained in:
Mathias Preiner
2020-09-22 09:51:56 -07:00
committed by GitHub
parent e969318f12
commit e3cd4670a0
1300 changed files with 2454 additions and 1726 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/api/java/HelloWorld.java
View File

@@ -5,7 +5,7 @@
** Morgan Deters, Tim King, Andres Noetzli
** This file is part of the CVC4 project.
** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
** in the top-level source directory) and their institutional affiliations.
** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
**