As usual, we must increment those version numbers when changes are made to style.css and/or script.js. That purges the production cache. Signed-off-by: Théo Lebrun <theo.lebrun@bootlin.com> |
||
|---|---|---|
| .. | ||
| error.html | ||
| header.html | ||
| ident.html | ||
| layout.html | ||
| sidebar.html | ||
| source.html | ||
| topbar.html | ||
| tree.html | ||