tree adcb7a2a892b28ce9ce2d124df1320da567789c8
parent ebfc0432c1e4b0b7202ebb00642dcfc2a13094be
author Adam Cozzette <acozzette@google.com> 1542131441 -0800
committer Adam Cozzette <acozzette@google.com> 1542133729 -0800

Removed stubs/singleton.h

This header is no longer used, so we can delete it. I also tweaked
Makefile.am to fix the distcheck test.