Making font smaller in \starttyping environment?

Show replies by thread

3887
Age (days ago)
3887
Last active (days ago)

ntg-context@ntg.nl

2 comments
2 participants

Add to favorites Remove from favorites

tags (0)
participants (2)
  • Mari Voipio
  • Wolfgang Schuster