Skip to content

Commit

Permalink
fixes: proofs
Browse files Browse the repository at this point in the history
  • Loading branch information
m4sterbunny committed Jul 29, 2024
1 parent 2d1dd09 commit e2d3d12
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion LICENSE.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

[apache.org/licenses/LICENSE-2.0](http://www.apache.org/licenses/LICENSE-2.0)
[http://www.apache.org/licenses/LICENSE-2.0](http://www.apache.org/licenses/LICENSE-2.0)

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
Expand Down

0 comments on commit e2d3d12

Please sign in to comment.