Closed aeisenberg closed 11 years ago
Should format hovers so that they are more readable.
Fixed. See dabf82197d2914808eb1f5211976d7c21ee89bac and 0a8aed5bc91c515e6958bc401e34024ead7d8309
Should format hovers so that they are more readable.