From ad07f3e48ae9b232cfa85955f88509bd5d5c3cac Mon Sep 17 00:00:00 2001
From: Thomas Dehaeze <dehaeze.thomas@gmail.com>
Date: Tue, 3 Nov 2020 11:35:21 +0100
Subject: [PATCH] Minor typography

---
 dotfiles/bookmarks.org | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dotfiles/bookmarks.org b/dotfiles/bookmarks.org
index 6261f3c..647a07f 100644
--- a/dotfiles/bookmarks.org
+++ b/dotfiles/bookmarks.org
@@ -16,9 +16,9 @@
 #+HTML_HEAD: <script type="text/javascript" src="./js/jquery.stickytableheaders.min.js"></script>
 #+HTML_HEAD: <script type="text/javascript" src="./js/readtheorg.js"></script>
 
-#+PROPERTY: header-args: :tangle ~/.config/buku_run/config
-#+PROPERTY: header-args+: :comments both :mkdirp yes
-#+PROPERTY: header-args+: :shebang "#!/usr/bin/env bash"
+#+PROPERTY: header-args :tangle ~/.config/buku_run/config
+#+PROPERTY: header-args+ :comments both :mkdirp yes
+#+PROPERTY: header-args+ :shebang "#!/usr/bin/env bash"
 :END:
 
 #+BEGIN_SRC conf