mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

rename errorid to message-id

Browse source
This commit is contained in:
Joey Hess 2023-04-26 12:53:30 -04:00
parent b43da83a67
commit 4881bc5a53
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
4 changed files with 19 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Types/Messages.hs
View file

@ -85,8 +85,8 @@ data SerializedOutputResponse
= ReadyPrompt
deriving (Eq, Show)
-- | Error identifiers. Avoid changing these.
data ErrorId
-- | Message identifiers. Avoid changing these.
data MessageId
= FileNotFound
| FileBeyondSymbolicLink
deriving (Show)