Active devices (4)
| type | public name | added | |
|---|---|---|---|
| paper | source margin | December 7, 2018 | |
| computer | Linux Device | April 12, 2020 | |
| mobile | Android Device 2 | October 26, 2021 | |
| computer | Windows Device | May 29, 2022 |
| type | public name | added | |
|---|---|---|---|
| paper | source margin | December 7, 2018 | |
| computer | Linux Device | April 12, 2020 | |
| mobile | Android Device 2 | October 26, 2021 | |
| computer | Windows Device | May 29, 2022 |
