Tools

This release brings the following improvements: Remove duplicates from command history. Allow multiple commands separated by ;. Third-Party libraries updates. »