pldb: Correct the usage for the `list' command.
[dvddb] / .gitignore
2022-03-21 Mark WoodingInitial commit.