diff options
| author | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2023-05-16 11:31:28 +0200 |
|---|---|---|
| committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2023-05-16 11:41:58 +0200 |
| commit | 3d144e778e4193c948fa6e0a23f9f3de194bc62f (patch) | |
| tree | f37fc62f2930041eee7ab40c6d926bfc0b60029e /src/libutil/sync.hh | |
| parent | 8976769a1c4a7fa6276d38402d97cec89b27d98f (diff) | |
Rename `ProfileElement.describe()` to `.identifier`
This method isn't used to describe what the element is, but to return a
unique identifier for it whithin the current profile
Diffstat (limited to 'src/libutil/sync.hh')
0 files changed, 0 insertions, 0 deletions