Amina Adewusi f12b0baef0 make -client the same as --client ... The problem was that -client was different from --client, which makes for a confusing user experience. So, this change makes them the same and re-names -client to --java-client. The value of this is that hopefully -client and --client being the same feels more logical to users.		2021-05-07 16:07:42 +01:00
..
src	make -client the same as --client	2021-05-07 16:07:42 +01:00