Loading
Added table separator correction.
the length of the separators is used in pandoc to calculate column widths. this is not what we need, and could be wrong in some cases.
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
the length of the separators is used in pandoc to calculate column widths. this is not what we need, and could be wrong in some cases.