Bug #5808
Updated by François ARMAND almost 10 years ago
Technique that are not found anymore in the git repository must be disabled.
Moreover, the error message is quite unuseful:
No technique available for that active technique
Great, what technique ? What version ? Is it used in directives ?
And finally, if you go to the technique tree, the active technique without matching technique are just not displayed!
What the user is expected to do ?