From c4b5cf26bbbc33c6692ef74da79e2bf3c060b073 Mon Sep 17 00:00:00 2001 From: Klemens Nanni Date: Wed, 09 Dec 2015 11:16:35 -0500 Subject: build/clean: Add missing script for coreinfo --- (limited to 'docs/src') -- cgit v0.9.1