amalgame/commit

Improve hint when no concept schemes are found, also point to new amalgame:consider_all_labeled_resources setting

authorJacco van Ossenbruggen
Tue Mar 3 15:41:22 2015 +0100
committerJacco van Ossenbruggen
Tue Mar 3 15:41:22 2015 +0100
commit6d3cfe2c067e779259d69683e903c5e18696ef47
tree6c0d9d47fa43e1608b77a4e0a8d1d38cc2fe19e9
parent4d6a948a7d1bc28052e71f2682b7bf263eff0ad0
Diff style: stat patch
 components/amalgame/startpage.pl | 8 ++++++++
 1 file changed, 5 insertions(+), 3 deletions(-)