diff options
| author | Andrew <andrewdimola@gmail.com> | 2022-07-19 14:37:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-19 14:37:35 -0400 |
| commit | 5c226704d5d6c9f736e61fd247a9cc4e1b2c5759 (patch) | |
| tree | fb6deaa21dba6267352a6b95316ec3bcb31be6b8 /coq.html.markdown | |
| parent | 19d3a4962e422de469c87926de93ac8686990d24 (diff) | |
Revert update to code block header
Reverting back to `php` as the `hack` header is likely not supported and the `php` highlighting is probably good enough (for now) to at least render the page.
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions