Skip to content

Commit

Permalink
Merge pull request #17 from input-output-hk/jdral/update-notice
Browse files Browse the repository at this point in the history
Update `NOTICE` files for the year 2023
  • Loading branch information
jorisdral committed Feb 7, 2023
2 parents 5c0a634 + 3a9b936 commit 390d2c9
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion NOTICE
@@ -1,4 +1,4 @@
Copyright 2022 Input Output (Hong Kong) Ltd.
Copyright 2022-2023 Input Output (Hong Kong) Ltd.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
Expand Down
2 changes: 1 addition & 1 deletion diff-containers/NOTICE
@@ -1,4 +1,4 @@
Copyright 2022 Input Output (Hong Kong) Ltd.
Copyright 2022-2023 Input Output (Hong Kong) Ltd.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
Expand Down
2 changes: 1 addition & 1 deletion fingertree-rm/NOTICE
@@ -1,4 +1,4 @@
Copyright 2022 Input Output (Hong Kong) Ltd.
Copyright 2022-2023 Input Output (Hong Kong) Ltd.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
Expand Down
2 changes: 1 addition & 1 deletion simple-semigroupoids/NOTICE
@@ -1,4 +1,4 @@
Copyright 2022 Input Output (Hong Kong) Ltd.
Copyright 2022-2023 Input Output (Hong Kong) Ltd.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
Expand Down

0 comments on commit 390d2c9

Please sign in to comment.