nolash 9f4362ad07 Rename doc dir		2021-08-29 11:28:16 +02:00
..
backend.texi	Rename doc dir	2021-08-29 11:28:16 +02:00
filter.texi	Rename doc dir	2021-08-29 11:28:16 +02:00
index.texi	Rename doc dir	2021-08-29 11:28:16 +02:00
stack.texi	Rename doc dir	2021-08-29 11:28:16 +02:00