5
9
![](https://secure.gravatar.com/avatar/df3f4651922ada2c9276482c8c6981b6.jpg?s=120&d=mm&r=g)
07 Dec '22
1
0
4
8
6
11
![](https://secure.gravatar.com/avatar/df3f4651922ada2c9276482c8c6981b6.jpg?s=120&d=mm&r=g)
05 Dec '22
1
0
3
3
![](https://secure.gravatar.com/avatar/af13db75aa1c24fee635c74fecf93090.jpg?s=120&d=mm&r=g)
\externalfigure problem with displaying external images via https://live.contextgarden.net
by Jaroslav Hajtmar 05 Dec '22
by Jaroslav Hajtmar 05 Dec '22
05 Dec '22
3
2
2
2
3
4
3
3