[pmd-commits] [pmd/pmd-designer] 0c4732: Usability improvements

2021-07-06 Thread Juan Martín Sotuyo Dodero via Pmd-commits
Branch: refs/heads/usability-improvements Home: https://github.com/pmd/pmd-designer Commit: 0c4732bbf3ad32470bbd020d0f0cbd3c21d71ec4 https://github.com/pmd/pmd-designer/commit/0c4732bbf3ad32470bbd020d0f0cbd3c21d71ec4 Author: Juan Martín Sotuyo Dodero Date: 2021-07-07 (Wed, 07

[pmd-commits] [pmd/pmd] db4236: Update documentation

2021-07-06 Thread Machine account for PMD via Pmd-commits
Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: db423669ccace7bc309bd3ec0f03fd0be3235645 https://github.com/pmd/pmd/commit/db423669ccace7bc309bd3ec0f03fd0be3235645 Author: PMD CI (pmd-bot) Date: 2021-07-06 (Tue, 06 Jul 2021) Changed paths: M

[pmd-commits] [pmd/pmd] c4bbd6: [core] CPD: Optimize --skip-lexical-errors option

2021-07-06 Thread Juan Martín Sotuyo Dodero via Pmd-commits
Branch: refs/heads/master Home: https://github.com/pmd/pmd Commit: c4bbd6bab115da763537524ce32b17d4bf1c78bf https://github.com/pmd/pmd/commit/c4bbd6bab115da763537524ce32b17d4bf1c78bf Author: Woongsik Choi Date: 2021-07-06 (Tue, 06 Jul 2021) Changed paths: M