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