5 commits

Author	SHA1	Message	Date
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
Eelco Dolstra	df552ff53e	Remove std::string alias (for real this time) ... Also use std::string_view in a few more places.	2022-02-25 16:13:02 +01:00
Eelco Dolstra	b7fd2c2822	Use "#pragma once" to prevent repeated header file inclusion	2012-07-18 14:59:03 -04:00
Eelco Dolstra	fe2d869e04	* Store user environment manifests as a Nix expression in ... $out/manifest.nix rather than as an ATerm. (Hm, I thought I committed this two days ago...)	2010-04-21 15:08:58 +00:00
Eelco Dolstra	b7ff69eb7c	* Refactoring: move the user environment stuff into its own module.	2010-04-19 10:47:56 +00:00