Branch: refs/heads/main
Home: https://github.com/pmd/pmd
Commit: dd9cca799dc75740a2debfbcc5e30fd5af59f42b
https://github.com/pmd/pmd/commit/dd9cca799dc75740a2debfbcc5e30fd5af59f42b
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/css/customstyles.css
M docs/js/customscripts.js
Log Message:
-----------
[doc] Add copy url button
Commit: 8bcd2d9d4385fbd4f150d3917789ccc4fb00b879
https://github.com/pmd/pmd/commit/8bcd2d9d4385fbd4f150d3917789ccc4fb00b879
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/css/customstyles.css
M docs/js/customscripts.js
Log Message:
-----------
[doc] Use fontawesome for anchorjs and edit-header links
Commit: 5f0e6ee19a5139ec048dc8264ba3f541b9ddf09b
https://github.com/pmd/pmd/commit/5f0e6ee19a5139ec048dc8264ba3f541b9ddf09b
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/assets/README.md
R docs/assets/jquery-ui-1.12.1/jquery-ui.min.css
R docs/assets/jquery-ui-1.12.1/jquery-ui.min.js
M docs/index.md
M docs/js/shuffle.js
Log Message:
-----------
[doc] Remove jquery-ui
It conflicts with bootstrap's tooltip() and it was only
used for the highlight effect of a selected shuffle box.
Commit: cab9706cddfd1158a454cfd86f74577c3d6d896b
https://github.com/pmd/pmd/commit/cab9706cddfd1158a454cfd86f74577c3d6d896b
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Update release notes (#6098)
Commit: 2848e606769d5faf15bc19a27bdc4ca03e9a95e9
https://github.com/pmd/pmd/commit/2848e606769d5faf15bc19a27bdc4ca03e9a95e9
Author: Andreas Dangel <[email protected]>
Date: 2025-10-27 (Mon, 27 Oct 2025)
Changed paths:
M docs/assets/README.md
R docs/assets/jquery-ui-1.12.1/jquery-ui.min.css
R docs/assets/jquery-ui-1.12.1/jquery-ui.min.js
M docs/css/customstyles.css
M docs/index.md
M docs/js/customscripts.js
M docs/js/shuffle.js
M docs/pages/release_notes.md
Log Message:
-----------
[doc] Add a copy URL button (#6098)
Compare: https://github.com/pmd/pmd/compare/b90ef3f84ba6...2848e606769d
To unsubscribe from these emails, change your notification settings at
https://github.com/pmd/pmd/settings/notifications
_______________________________________________
Pmd-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/pmd-commits
