diff options
| author | Simon Shine <shreddedglory@gmail.com> | 2019-11-26 14:08:19 +0100 |
|---|---|---|
| committer | Simon Shine <shreddedglory@gmail.com> | 2019-11-26 14:11:46 +0100 |
| commit | 672b3804f933a40df15db2e29d9a06030928194b (patch) | |
| tree | c981bce774bf4d9d771c4e24b56170746cbbea3b /de-de/shutit-de.html.markdown | |
| parent | 06e05c4ce3e23ee0030c820af09eeadac07b1baf (diff) | |
[coq/en] Fix code width
Many lines exceed the 80 character limit that makes the code wrap around
on the website. This mainly addresses comments. The comment style has
been preserved. For the code lines that exceeded 80 characters, I have
not adhered to any style.
Diffstat (limited to 'de-de/shutit-de.html.markdown')
0 files changed, 0 insertions, 0 deletions