diff options
| author | Jim Fehrle | 2018-11-16 14:33:12 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2018-11-16 14:42:17 -0800 |
| commit | 9780a52ccf75a4d837b640536d8023aaeb2fb18a (patch) | |
| tree | d7628489a003853600658068d4a8141fead25506 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | f8a76b3d383abf468fb21df509f5da8f8aafa913 (diff) | |
Remove SSR profiling
Deletes the SsrProfiling and SsrMatchingProfiling options
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions