diff options
author | Frank Doepper <github@woffs.de> | 2018-08-31 20:00:07 +0200 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-08-31 20:00:07 +0200 |
commit | c49baf9da44dfcce2078066189ec99f98f1e8db4 (patch) | |
tree | 05e8b6c92769e92ca71623983df64239efb7849a /doc/stdenv.xml | |
parent | 3f2209fe99ab255c78e1eda80d66e01f0b555ff1 (diff) |
shotcut: 18.08 -> 18.08.14 (#45862)
Diffstat (limited to 'doc/stdenv.xml')
0 files changed, 0 insertions, 0 deletions