indeed, that looks very helpful. Reorganization of the directories will have to be postponed to version 1.2 or 1.3 however since it implies some untrivial changes.
indeed, that looks very helpful. Reorganization of the directories will
have to be postponed to version 1.2 or 1.3 however since it implies some
untrivial changes.