]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
projects / github / shaarli / Shaarli.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cdb9627 6ec24b3)
Merge pull request #1565 from nodiscc/rm-makefile-summary
authorArthurHoaro <arthur@hoa.ro>
Fri, 25 Sep 2020 08:57:25 +0000 (10:57 +0200)
committerGitHub <noreply@github.com>
Fri, 25 Sep 2020 08:57:25 +0000 (10:57 +0200)
Makefile: remove static_analysis_summary from all: target


Trivial merge
The personal, minimalist, super-fast, database free, bookmarking service - community repo