dev-lang/logtalk: clean duplicate patches
[gentoo.git] / dev-lang / logtalk / files / logtalk-3.00.0-no-user-docs.patch
2018-04-20 Marty E. Plummerdev-lang/logtalk: clean duplicate patches
2015-08-09 Robin H. Johnsonproj/gentoo: Initial commit