summaryrefslogtreecommitdiffhomepage
path: root/es-es/haskell-es.html.markdown
diff options
context:
space:
mode:
authorSimon Shine <shreddedglory@gmail.com>2019-11-26 14:08:19 +0100
committerSimon Shine <shreddedglory@gmail.com>2019-11-26 14:11:46 +0100
commit672b3804f933a40df15db2e29d9a06030928194b (patch)
treec981bce774bf4d9d771c4e24b56170746cbbea3b /es-es/haskell-es.html.markdown
parent06e05c4ce3e23ee0030c820af09eeadac07b1baf (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 'es-es/haskell-es.html.markdown')
0 files changed, 0 insertions, 0 deletions