]> git.sthu.org Git - shuber-gentoo-overlay.git/commit
projects / shuber-gentoo-overlay.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: f257ef1) | patch
repo: remove unused licenses and stray Documentation dir
authorStefan Huber <shuber@sthu.org>
Mon, 17 Aug 2026 21:11:01 +0000 (23:11 +0200)
committerStefan Huber <shuber@sthu.org>
Mon, 17 Aug 2026 21:11:42 +0000 (23:11 +0200)
commitc5805fa36882311dbfbc927ea1815c247fab4c45
tree7ccbbc2c201201343b06714b863840a28d68ed76tree | snapshot
parentf257ef1b470423f40d8aab3a192c2668f910f6c4commit | diff
repo: remove unused licenses and stray Documentation dir

licenses/boolector and licenses/LEDA-free are dead since
sci-mathematics/boolector and sci-mathematics/lingeling were removed;
nothing references them anymore. Documentation/BUGS is a stray
top-level file (not a real category) left over from 2013.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Documentation/BUGS [deleted file] blob | history
licenses/LEDA-free [deleted file] blob | history
licenses/boolector [deleted file] blob | history
Stefan Huber's gentoo overlay.