From: ArthurHoaro Date: Fri, 25 Sep 2020 08:57:25 +0000 (+0200) Subject: Merge pull request #1565 from nodiscc/rm-makefile-summary X-Git-Tag: v0.12.0-beta-1~9 X-Git-Url: https://git.immae.eu/?p=github%2Fshaarli%2FShaarli.git;a=commitdiff_plain;h=71eb87353ca09a1476c3f94e51ccfbfb45a91170 Merge pull request #1565 from nodiscc/rm-makefile-summary Makefile: remove static_analysis_summary from all: target --- 71eb87353ca09a1476c3f94e51ccfbfb45a91170