GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-10-06 00:22:49 +03:00
Code Issues Projects Releases Wiki Activity

Bump copyright dates.

Browse Source
This commit is contained in:
Kevin Quick 2022-07-01 08:46:13 -07:00
parent e569514d10
commit 3d9cb1ce75
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
what4/LICENSE
View File

@ -1,4 +1,4 @@
Copyright (c) 2013-2020 Galois Inc.
Copyright (c) 2013-2022 Galois Inc.
All rights reserved.
Redistribution and use in source and binary forms, with or without

2
what4/what4.cabal
View File

@ -3,7 +3,7 @@ Name: what4
Version: 1.3.0.0.99
Author: Galois Inc.
Maintainer: jhendrix@galois.com, rdockins@galois.com
Copyright: (c) Galois, Inc 2014-2021
Copyright: (c) Galois, Inc 2014-2022
License: BSD-3-Clause
License-file: LICENSE
Build-type: Simple