comparison doc/manual/manual_bindings.tex @ 535:d717a5561335

- typo
author Tassilo Philipp
date Sat, 23 Apr 2022 15:05:03 +0200
parents 48eede2fa034
children
comparison
equal deleted inserted replaced
534:48eede2fa034 535:d717a5561335