fix line endings

pull/7102/head
Nils Dijk 2021-09-14 13:35:39 +02:00
parent 626fb1fb7b
commit d12e324fc3
2 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
\timing on
\pset linestyle unicode
\pset linestyle unicode
\pset border 2
\setenv PAGER 'pspg --no-mouse -bX --no-commandbar --no-topbar'
\set HISTSIZE 100000

View File

@ -18,7 +18,7 @@ RUN apt update && apt install -y \
libkrb5-dev \
liblz4-dev \
liblz4-dev \
libpam0g-dev \
libpam0g-dev \
libreadline-dev \
libreadline-dev \
libselinux1-dev \