summaryrefslogtreecommitdiffstats
path: root/storage/specs/bucketinfo/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Add PlusCal/TLA+ spec for potential changes to bucket metadata synchronizationTor Brede Vekterli2023-07-201-0/+3