From fd8aa7a9cc9c9780c522bd8f50483853102b190c Mon Sep 17 00:00:00 2001
From: "Tilman M. Jaeschke" <carlosfritz@posteo.net>
Date: Tue, 14 Dec 2021 14:07:25 +0100
Subject: [PATCH] change vscode settings to add a ruler at width 80 (#13358)

---
 .vscode/settings.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 56fc7ee6bf..4a0e9d8e42 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -10,6 +10,7 @@
    "editor.renderWhitespace": "all",
    "editor.insertSpaces": true,
    "editor.formatOnSave": false,
+   "editor.ruler": [80],
    "files.associations": {
       "*.h": "c",
       "*.in": "c",