Par Pierre-Jean CHANCELLIER, le 17 novembre 2023 à 16h07min :
fix some errors
Ajouté scss/_spip.scss.html Supprimé scss/_spip.scss Modifié bootstrap_scss_options.php scss/main.scss
Détails : https://git.spip.net/spip-contrib-extensions/bootstrap_scss/commit/6e8e1002c6bbe9c28bc56e7be5913d99d62314fc