Skip to content

Commit

Permalink
Update the license with all people with >1 commits
Browse files Browse the repository at this point in the history
  • Loading branch information
@jespercockx
jespercockx committed Mar 28, 2023
1 parent b7deb85 commit 732e0a1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LICENSE
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Copyright 2020 Ulf Norell
Copyright 2023 Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, and Henry Blanchette.

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

Expand Down

1 comment on commit 732e0a1

@jespercockx
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@omelkonian @sarajuhosova @jmchapman @flupe @Riib11 I've added you to the copyright notice of agda2hs as authors. Let me know if you would prefer to have a different name or have your name be removed.

Please sign in to comment.