beremiz
Clone
Summary
Browse
Changes
Graph
beremiz/doc/
SVGHMI: add "unsubscribable" property to widgets in order to generalize what already happens for jump buttons.
svghmi
2020-06-04, Edouard Tisserant
2a21d6060d64
..
manual/
Makefile
conf.py
index.rst
index_fr.po
index_kr.po
make.bat
overview.rst
overview_fr.po
overview_kr.po
standards.rst
standards_fr.po
standards_kr.po
