calixteman d5c923cc59 Add a tool to change pdfjs tags in whiteboard (#1278)		2022-01-28 15:36:38 +01:00
..
pdfjs_tags.json	Add a tool to change pdfjs tags in whiteboard (#1278)	2022-01-28 15:36:38 +01:00