Skip to content

Create flint command

Closes #1826 (closed)

This MR introduce a standard BLISS command to open Flint: flint().

Plus it provids few helpers to manage the life cycle of Flint using the proxy.

Merge request reports