Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix @typedef name to be dot-separated. #1133
After reviewing other @ typedef definitions in other files, updated this one to use
This also fixes a warning in the dash docset generation script, which issues a warning when it encounters an invalid typedef name.