You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@mortior, I would welcome a pull request from you to address this issue. Alternatively, if you tell me here that these files can be licensed under the same terms as the rest of C-Reduce, I will insert the appropriate notices myself.
(C-Reduce is primarily licensed under the University of Illinois Open Source License. See the file COPYING for details.)
Thanks!
The text was updated successfully, but these errors were encountered:
These files, which were added at commit a55522a, are missing comment headers with copyright and license information.
@mortior, I would welcome a pull request from you to address this issue. Alternatively, if you tell me here that these files can be licensed under the same terms as the rest of C-Reduce, I will insert the appropriate notices myself.
(C-Reduce is primarily licensed under the University of Illinois Open Source License. See the file
COPYING
for details.)Thanks!
The text was updated successfully, but these errors were encountered: