Ticket #21315 - change licenses because of github and packaging issues
Showing
- COPYING 1 addition, 674 deletionsCOPYING
- COPYING 1 addition, 674 deletionsCOPYING
- LICENSE 674 additions, 1 deletionLICENSE
- LICENSE 674 additions, 1 deletionLICENSE
- src/domain/implementation/domain_history_interval.hh 1 addition, 1 deletionsrc/domain/implementation/domain_history_interval.hh
- src/domain/implementation/domain_state_flags.cc 1 addition, 1 deletionsrc/domain/implementation/domain_state_flags.cc
COPYING
deleted
100644 → 0
This diff is collapsed.
COPYING
0 → 120000
LICENSE
deleted
120000 → 0
LICENSE
0 → 100644
This diff is collapsed.
Please register or sign in to comment