diff options
| author | Teddy Wing | 2020-08-06 00:30:15 +0200 |
|---|---|---|
| committer | Teddy Wing | 2020-08-06 00:30:49 +0200 |
| commit | a230e2acf3323461c95abd1bac09c6a00a9f3fb3 (patch) | |
| tree | 2ea10f1b8905b408b3f641a5597d221a2d9f6d12 /src/bin | |
| parent | e46b376b54e1fed05fd8378a79068af9a436a1d6 (diff) | |
| download | git-suggestion-a230e2acf3323461c95abd1bac09c6a00a9f3fb3.tar.bz2 | |
Makefile: Remove unused list of products
This was replaced by `RELEASE_PRODUCTS` so that I could make
`DIST_PRODUCTS` based on `PRODUCTS`.
Diffstat (limited to 'src/bin')
0 files changed, 0 insertions, 0 deletions