[pmd-commits] [pmd/pmd.github.io] 463682: Update new dist filenames

[Andreas Dangel via Pmd-commits]

  Branch: refs/heads/master
  Home:   https://github.com/pmd/pmd.github.io
  Commit: 4636821202b9738b67086a420c9e8d4681b57d42
      
https://github.com/pmd/pmd.github.io/commit/4636821202b9738b67086a420c9e8d4681b57d42
  Author: Andreas Dangel <andreas.dan...@pmd-code.org>
  Date:   2023-04-06 (Thu, 06 Apr 2023)

  Changed paths:
    M _includes/quickstart.html

  Log Message:
  -----------
  Update new dist filenames


  Commit: 845a598190e6187a83763db2bc0cef2e6f06889b
      
https://github.com/pmd/pmd.github.io/commit/845a598190e6187a83763db2bc0cef2e6f06889b
  Author: Andreas Dangel <andreas.dan...@pmd-code.org>
  Date:   2023-05-30 (Tue, 30 May 2023)

  Changed paths:
    M _includes/quickstart.html

  Log Message:
  -----------
  Merge pull request #16 from adangel/pmd7-dist-filenames

Update new dist filenames


Compare: 
https://github.com/pmd/pmd.github.io/compare/57143ecebc77...845a598190e6


_______________________________________________
Pmd-commits mailing list
Pmd-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/pmd-commits