summaryrefslogtreecommitdiffhomepage
path: root/vi-vn
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 /vi-vn
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 'vi-vn')
0 files changed, 0 insertions, 0 deletions