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

Merge pull request #454 from madnight/patch-1

Browse Source 
Update copyright notice year from 2016 to 2017
This commit is contained in:
Aaron Tomb 2017-09-29 10:59:16 -07:00 committed by GitHub
commit da1ff8f225
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -3,7 +3,7 @@ Status](https://travis-ci.org/GaloisInc/cryptol.svg?branch=master)](https://trav
# Cryptol, version 2
This version of Cryptol is (C) 2013-2016 Galois, Inc., and
This version of Cryptol is (C) 2013-2017 Galois, Inc., and
distributed under a standard, three-clause BSD license. Please see
the file LICENSE, distributed with this software, for specific
terms and conditions.