Merge branch 'master' of ssh://gapil.gnulinux.it/srv/git/gapil
authorSimone Piccardi <piccardi@truelite.it>
Fri, 24 Jan 2020 10:10:09 +0000 (11:10 +0100)
committerSimone Piccardi <piccardi@truelite.it>
Fri, 24 Jan 2020 10:10:09 +0000 (11:10 +0100)
1  2 
signal.tex

diff --cc signal.tex
Simple merge