Merge branch 'master' into wsr

2019-04-08 15:12:56 +02:00 · 2019-04-08 15:12:56 +02:00 · e3fb9a780d
parent e07adc03e9 be1d96969b
commit e3fb9a780d
2 changed files with 6 additions and 0 deletions
--- a/.psqlrc
+++ b/.psqlrc
@ -0,0 +1,5 @@
+\pset null '(∅)'
+\pset linestyle unicode
+\pset border 2
+\pset unicode_border_linestyle double
+\timing on
--- a/1
+++ b/1
@ -7,6 +7,7 @@ ALLSRC = \
 	.zshenv \
 	.zshrc \
 	.gitconfig \
+        .psqlrc \
        .vim/colors/hjp.vim \
        .vimrc \