Rudi Grinberg d19e55bd4d Rename %{build_profile} to %{profile} ... Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>		2018-07-02 12:52:48 +07:00
..
custom-profile	Rename %{build_profile} to %{profile}	2018-07-02 12:52:48 +07:00
custom-workspace	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
dune-no-version	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
jbuilder-default-name	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
opam	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
targets-native	Add a test suite for workspaces	2018-07-01 01:46:32 +07:00
run.t	disable opam workspace blackbox test	2018-07-01 01:46:32 +07:00