 | .. | - | - | - |
 | Cond2.pl | 862 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Cond3.pl | 870 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
 | Condition-t.pl | 9.5 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Condition.pl | 8.5 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| DisjCon2.pl | 948 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| DisjCon3.pl | 910 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| DisjConditions-t.pl | 13.1 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| DisjConditions.pl | 11.9 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| General.pl | 930 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Version.pl | 2.9 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Version2.pl | 783 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Version3.pl | 784 B | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
| Wrap.pl | 2.4 KB | *: mechanically update license headers to GPLv3+ | 2026-11-03 12:44 |
