| commit | 39cd970d895849323670123be985183f8005393f | [log] [tgz] |
|---|---|---|
| author | Joe Kesselman <131899227+jkesselm@users.noreply.github.com> | Thu Nov 30 15:34:09 2023 -0500 |
| committer | GitHub <noreply@github.com> | Thu Nov 30 15:34:09 2023 -0500 |
| tree | dc237a568aab0ed93fb5c391546c543ffd26be08 | |
| parent | dddd36d8fb7815042044a8dfbd31ceda8c3b6ebd [diff] | |
| parent | ca998e8c3c4b70d3af74f62c67087a6571409ed2 [diff] |
Merge pull request #135 from kriegaex/delete-doclet-taglet-binaries At some point I want to look at what this used to do. But it's perfectly possible we were carrying it around just because it was distributed with the taglet. I agree with dropping it for now.