diff options
| author | Julius Härtl <jus@bitgrid.net> | 2021-03-12 09:30:20 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-12 09:30:20 +0300 |
| commit | 6dd610143e0762fb41fd4709f5dad464c8854b5c (patch) | |
| tree | 22aa3e00d00e3ffb6bed57047ece6ff94ea13b5b /js/highlight/coq.js | |
| parent | e2d3354d3c807654fd8a9fc1ffc867b52eebfa4d (diff) | |
| parent | 4cdcfe69cf99fe36cc16a1f960700c9f6e1e09a4 (diff) | |
Merge pull request #1487 from nextcloud/design/formatting-details
Diffstat (limited to 'js/highlight/coq.js')
0 files changed, 0 insertions, 0 deletions