From ec8b70c184b847f886e63f9718a9cb1329ae71d2 Mon Sep 17 00:00:00 2001 From: marcellus Date: Mon, 14 Apr 2025 18:00:23 +0200 Subject: chore: rm-d .obsidian --- .obsidian/plugins/pseudocode-in-obs/data.json | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 .obsidian/plugins/pseudocode-in-obs/data.json (limited to '.obsidian/plugins/pseudocode-in-obs/data.json') diff --git a/.obsidian/plugins/pseudocode-in-obs/data.json b/.obsidian/plugins/pseudocode-in-obs/data.json deleted file mode 100755 index fffafed..0000000 --- a/.obsidian/plugins/pseudocode-in-obs/data.json +++ /dev/null @@ -1,15 +0,0 @@ -{ - "blockSize": 99, - "preambleEnabled": false, - "preamblePath": "preamble.sty", - "preambleLoadedNotice": false, - "followSystemTheme": true, - "jsSettings": { - "indentSize": "1.2em", - "commentDelimiter": "//", - "lineNumber": false, - "lineNumberPunc": ":", - "noEnd": false, - "scopeLines": false - } -} \ No newline at end of file -- cgit v1.2.3