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
    206087c2
    Replaced PLUMED_PREFIX with prefix · 206087c2
    Giovanni Bussi authored 
    This makes it compatible with the standard behavior of GNU tools.

PLUMED_PREFIX still works but is now deprecated and dumps a warning.
I will convert it to an error in a later version (2.3).
    206087c2
    History
    Replaced PLUMED_PREFIX with prefix
    Giovanni Bussi authored 
    This makes it compatible with the standard behavior of GNU tools.

PLUMED_PREFIX still works but is now deprecated and dumps a warning.
I will convert it to an error in a later version (2.3).
Code owners
Assign users and groups as approvers for specific file changes. Learn more.