How To Install Legotags?

How To Install Legotags?

legotags

Emacs mode for standard

Install legotags

  • Fedora dnf install emacs-common-proofgeneral Click to copy

emacs-common-proofgeneral

Emacs mode for standard
Install the latest version of legotags in Fedora from terminal. To install the legotags just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of legotags from the respository and install it in your computer/server.