You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since not all generated diagrams are used for just the docs anymore, it would be nice to move docs/main/diagrams_source to a top-level directory (I can never remember where to find it). Also, any generated diagrams not used by the docs could be placed in the appropriate place, like npm/images.