GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-16 17:30:27 +03:00
Code Issues Projects Releases Wiki Activity

Update some copyright years to 2023

Browse Source
This commit is contained in:
Ryan Scott 2023-07-06 08:25:54 -04:00
parent 597207f706
commit adb73d2a82
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
LICENSE
View File

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

2
LICENSE.rtf
View File

@ -4,7 +4,7 @@
\margl1440\margr1440\vieww12600\viewh7800\viewkind0 \margl1440\margr1440\vieww12600\viewh7800\viewkind0
\pard\tx720\tx1440\tx2160\tx2880\tx3600\tx4320\tx5040\tx5760\tx6480\tx7200\tx7920\tx8640\pardirnatural \pard\tx720\tx1440\tx2160\tx2880\tx3600\tx4320\tx5040\tx5760\tx6480\tx7200\tx7920\tx8640\pardirnatural
\f0\fs24 \cf0 Copyright (c) 2013-2020 Galois Inc.\ \f0\fs24 \cf0 Copyright (c) 2013-2023 Galois Inc.\
All rights reserved.\ All rights reserved.\
\ \
Redistribution and use in source and binary forms, with or without\ Redistribution and use in source and binary forms, with or without\

2
README.md
View File

@ -4,7 +4,7 @@
# Cryptol, version 3 # Cryptol, version 3
This version of Cryptol is (C) 2013-2020 Galois, Inc., and This version of Cryptol is (C) 2013-2023 Galois, Inc., and
distributed under a standard, three-clause BSD license. Please see distributed under a standard, three-clause BSD license. Please see
the file LICENSE, distributed with this software, for specific the file LICENSE, distributed with this software, for specific
terms and conditions. terms and conditions.