tree d1cf08a4fefaf0a8c060c90356f53aee434eab01
parent bf381a7b6c6df65e7b74796181ab0489566e3795
author Josh Bleecher Snyder <josharian@gmail.com> 1748619987 -0700
committer Josh Bleecher Snyder <josharian@gmail.com> 1748620690 -0700

claudetool: minor auto-install cleanup

Follow-up to 495c1fa247565e21b36bcb847c6cd3f08e0e196f