Tree
- Tree:
d9552add2975a437323721e22a2e724895580a65
- Date:
- Message:
- document that the log -d option implies log -P We did consider making -d and -P options conflict but doing so would not be very helpful. Instead, document -d as a superset of -P. ok op, jamsek