plume-lib

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 12 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 29, 2024 — Jul 29, 2025 Showing page 3 of 73 Search / Filter on:
Special-case compilation rules for demos	Michael Ernst	More...				over 7 years ago
Explictly explain how to convert StringBuilderDelimited.append() to add()	Michael Ernst	More...				over 7 years ago
Don't include Javadoc in plume.jar	Michael Ernst	More...				over 7 years ago
Improve handling of Java files [ci skip]	Michael Ernst	More...				over 7 years ago
Pass -B command-line option to Maven	Michael Ernst	More...				over 7 years ago
Try longer timeout [ci skip]	Michael Ernst	More...				over 7 years ago
Deprecate checklink	Michael Ernst	More...				over 7 years ago
Better chgrp command [ci skip]	Michael Ernst	More...				over 7 years ago
Get html-tools from correct location	Michael Ernst	More...				over 7 years ago
Note that HTML scripts are now deprecated.	Michael Ernst	More...				over 7 years ago
Comment about obsolete files	Michael Ernst	More...				over 7 years ago
Comment about obsolete files	Michael Ernst	More...				over 7 years ago
Make lookup.jar self-contained	Michael Ernst	More...				over 7 years ago
Deprecate Options; it moved to https://github.com/plume-lib/options	Michael Ernst	More...				over 7 years ago
Commented attempt at handling directory after gcb or gnb command	Michael Ernst	More...				over 7 years ago
Update URL	Michael Ernst	More...				over 7 years ago
Comment that some files are obsolete	Michael Ernst	More...				over 7 years ago
Try chgrp multiple times [ci skip]	Michael Ernst	More...				over 7 years ago
Update release date [ci skip]	Michael Ernst	More...				over 7 years ago
Update changelog [ci skip]	Michael Ernst	More...				over 7 years ago
Updates for version 1.2.0	Michael Ernst	More...				over 7 years ago
Fix NPE, noticed by Nullness Checker	Michael Ernst	More...				over 7 years ago
Suppress useless Error Prone StringSplitter warnings	Michael Ernst	More...				over 7 years ago
Prefer StringBuilderDelimited.add() to append()	Michael Ernst	More...				over 7 years ago
More Java files to auto-format	Michael Ernst	More...				over 7 years ago
Move HtmlPrettyPrint to https://github.com/plume-lib/html-pretty-print	Michael Ernst	More...				over 7 years ago
Comment out Checker Framework annotations	Michael Ernst	More...				over 7 years ago
Fix nullness typechecking errors	Michael Ernst	More...				over 7 years ago
Create file lazily, to avoid zero-size file if no output is performed	Michael Ernst	More...				over 7 years ago
Update a URL [ci skip]	Michael Ernst	More...				over 7 years ago

←
1
2
3
4
5
6
7
8
9
…
72
73
→