summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/clipsjni: change patches filenames; annotate java patchMaciej Barć2021-11-263-2/+5
* dev-lang/clipsjni: new package; add version 6.40Maciej Barć2021-11-265-0/+194