Marijn Suijten d50d7b4a95 Update gir and regenerate ... This version adds a `--strip-docs` flag to `generator.py`, used in conjunction with `--strip-docs --embed-docs` to clean documentation first before re-embedding it (otherwise the same text would show up multiple times). It is also used in the CI to check that no documentation disappears on stripping, ie. all documentation is properly annotated with `// rustdoc-stripper-ignore-next`.		2021-05-05 12:23:40 +02:00
..
lib.rs	Update gir and regenerate	2021-05-05 12:23:40 +02:00