aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-04-05 14:00:58 +0200
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-04-05 14:00:58 +0200
commit332efef9073eadb4907cd4e9ee1ba17bcc16afc6 (patch)
tree20082651c8099d1155402df34aa231e69ffb6b1a /ide
parentd522829697e75e85ffb3c127710b63efaaadf05b (diff)
parent024397b19636937ffef8f47247bd6d7d5ac34e2b (diff)
Merge PR #7169: Sphinx docs: fix typo in Chrząszcz (non-ASCII character lost in sphinx migration)
Diffstat (limited to 'ide')
0 files changed, 0 insertions, 0 deletions