Commit 94cec4f
authored
Fix double click select of titles in documentation (purescript#4579)
Full explanation: https://stackoverflow.com/questions/692918601 parent 377bdbd commit 94cec4f
1 file changed
Lines changed: 1 addition & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
133 | 133 | | |
134 | 134 | | |
135 | 135 | | |
136 | | - | |
137 | | - | |
| 136 | + | |
138 | 137 | | |
139 | 138 | | |
140 | 139 | | |
| |||
0 commit comments