parlatype:master

Last commit made on 2020-11-12
Get this branch:
git clone -b master https://git.launchpad.net/parlatype

Branch merges

Branch information

Name:
master
Repository:
lp:parlatype

Recent commits

ee13bf9... by Gabor Karsay on 2020-11-12

Maintenance scripts: check if required command exists

4d45651... by Gabor Karsay on 2020-11-12

Add maintenance script to check shell code

4fb8844... by Gabor Karsay on 2020-11-12

Validate shell scripts with shellcheck

A lot of it is not really necessary, but won't do any harm either.
Also rename maintenance scripts.

5982d50... by Gabor Karsay on 2020-11-11

[docs] fix gtk-doc warnings

657444d... by Gabor Karsay on 2020-11-11

Add some maintenance scripts

f9042e9... by Gabor Karsay on 2020-11-11

Move Valgrind suppression files to maint/

fa0e518... by Gabor Karsay on 2020-11-11

Move maintenance stuff to maint/

587e96e... by Gabor Karsay on 2020-11-11

Add our own Valgrind suppression file

Should list leaks that are probably *not* our fault.

91d6404... by Gabor Karsay on 2020-11-11

Update README for Valgrind suppression files

02d86be... by Gabor Karsay on 2020-11-10

Add and update Valgrind suppression files