Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    a074950d
    Improved cmd enum · a074950d
    Giovanni Bussi authored 
    Defining a capitalized enum was useless in the end. I now use
cmd_string
as the name of the enum, where string is the string for the
cmd interpreter
    a074950d
    History
    Improved cmd enum
    Giovanni Bussi authored 
    Defining a capitalized enum was useless in the end. I now use
cmd_string
as the name of the enum, where string is the string for the
cmd interpreter
Code owners
Assign users and groups as approvers for specific file changes. Learn more.