Added copyright and license disclaimers to source files #2
Thelie
commented 2022-03-27 15:38:16 +02:00
Owner
No description provided.
Thelie
added 7 commits 2022-03-27 15:38:17 +02:00
Update 'src/lib.rs'
2e008c574b
Update 'sing_util/src/lib.rs'
4e41ebee89
Update 'sing_util/src/serde_wrapper.rs'
e0aa05a33b
Update 'sing_parse/build.rs'
b553134716
Update 'sing_parse/src/lib.rs'
9fd52e53bf
Update 'sing_parse/src/fun_parser.lalrpop'
7d3b04f140
Update 'sing_parse/src/callobj.rs'
ea1493b3a6
Thelie
merged commit 1cae9118eb into thelie-patch-1 2022-03-27 15:38:39 +02:00
Thelie
deleted branch thelie-patch-2 2022-03-27 15:38:39 +02:00
Thelie
referenced this pull request from a commit 2022-03-27 15:38:40 +02:00
Added copyright and license disclaimers to source files (#2)
Loading…
Reference in a new issue
No description provided.
Delete branch "thelie-patch-2"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?