urls_downloaded_cb({"token":"die","urls":[{"url":"tutorials/basic/short-cutting-the-pipeline.html#introduction","node_type":"p","page":"Basic tutorial 8: Short-cutting the pipeline","sections":["Basic tutorial 8: Short-cutting the pipeline","Introduction"],"context":{"gi-language":["default"]}}]});