mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-24 17:20:36 +00:00
a404417a0d
This is to work around https://github.com/hotdoc/hotdoc/pull/222 |
||
---|---|---|
.. | ||
symbol_index.json | ||
symbols_version.txt |