| commit | 0382725223c6e18a0b4f511d347e044319782426 | [log] [tgz] |
|---|---|---|
| author | Andrija Panic <45762285+andrijapanicsb@users.noreply.github.com> | Tue May 12 12:10:40 2020 +0200 |
| committer | GitHub <noreply@github.com> | Tue May 12 12:10:40 2020 +0200 |
| tree | 2a3958b7068c6d21513335d7c210fe61da3df8a7 | |
| parent | b767be33d65801f061076dcb99454fe6e4df42fc [diff] |
remove-environment.properties-note (#120) * remove-environment.properties-note * Update upgrade-4.12.rst * Update upgrade-4.13.rst