joshua 107d7ff806 Level of real terminal can be edited ...

The level of each real terminal who compose a physical terminal can be
edited. Several real terminal can be edited in one shot.

2021-10-12 19:25:35 +02:00

4.5 KiB

Raw Blame History

View Raw