Skip to content

Commit 0536d0f

Browse files
author
Adam C. Foltzer
committedMar 24, 2015
update copyright years
1 parent dd312bd commit 0536d0f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

110 files changed

+127
-112
lines changed
 

‎Setup.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
-- |
22
-- Module : $Header$
3-
-- Copyright : (c) 2013-2014 Galois, Inc.
3+
-- Copyright : (c) 2013-2015 Galois, Inc.
44
-- License : BSD3
55
-- Maintainer : cryptol@galois.com
66
-- Stability : provisional

‎cryptol/Main.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
-- |
22
-- Module : $Header$
3-
-- Copyright : (c) 2013-2014 Galois, Inc.
3+
-- Copyright : (c) 2013-2015 Galois, Inc.
44
-- License : BSD3
55
-- Maintainer : cryptol@galois.com
66
-- Stability : provisional

0 commit comments

Comments
 (0)