Juan Martín Sotuyo Dodero 1415d283bc Merge branch 'pr-947'

2018-03-03 16:01:53 -03:00

..

news

Restructure pages: product is now "pmd", sidebar new, pages moved

2017-05-25 12:16:23 +02:00

pmd

Fix typo

2018-03-02 18:34:46 +01:00

tags

Restructure pages: product is now "pmd", sidebar new, pages moved

2017-05-25 12:16:23 +02:00

license.md

[doc] Add pages from the old "overview" section

2017-07-21 12:15:15 +02:00

release_notes_old.md

Prepare next development version

2018-02-25 10:00:22 +01:00

release_notes.md

Update release notes, fixes #928

2018-03-02 20:34:34 +01:00