Merge pull request #12210 from jefferyto/etesync-server-minor-cleanup
authorHannu Nyman <hannu.nyman@iki.fi>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 14:01:14 +0000 (17:01 +0300)
commit5e84c4872c19d61841e8ee0ce6fc5e25e3e81d68
treea83d849e6cf775425a7a01c29092dbaa259bba2c
parentee9fe907e7f19078c38fa37e959e1dec2eb33e03
parent70064ea4adaa995519b7fd5f378971d99ef4cc66
Merge pull request #12210 from jefferyto/etesync-server-minor-cleanup

etesync-server: Minor Makefile cleanup