block-dirty ( -- n )

publication: 8 août 2022 / mis à jour 8 août 2022

vocabulaire: internals

Sert de flag pour indiquer si le bloc courant a été modifié.

Legal: site web personnel sans commerce / personal site without seling