Revision 5348c0e5b0e7c2f5d0016079225ca7c81ca7e391 authored by bernatx on 15 July 2022, 14:09:32 UTC, committed by bernat on 22 July 2022, 14:14:44 UTC
1 parent be2525f
extra.js
$(document).ready(function () {
if(window.location.href.indexOf("/latest/") != -1) {
var banner = document.createElement("div");
var section = document.getElementsByClassName("section");
banner.className = "dev-version-warning";
banner.innerHTML = "You are currently reading documentation for the \"dev\" branch of CARLA. This documentation refers to features currently in development and may result in unexpected behaviour. To read documentation for previous releases, select the desired version in the bottom, right-hand corner of the screen.";
section[0].insertBefore(banner,section[0].childNodes[0]);
}
});
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...