3 commits

Author	SHA1	Message	Date
Tom Hubrecht	a39ba22ff7	util.hh: Delete remaining file and clean up headers ... Change-Id: Ic1f68e6af658e94ef7922841dd3ad4c69551ef56	2024-05-29 12:38:51 +02:00
John Ericson	f4ab297b31	Ensure all headers have #pragma once and are in API docs ... `///@file` makes them show up in the internal API dos. A tiny few were missing `#pragma once`.	2023-03-31 23:19:44 -04:00
John Ericson	fa4733fce5	Split out InstallableFlake and InstallableAttrPath	2023-02-20 09:09:11 -05:00