Summary: Add simple comment to Vagrant file Closes https://github.com/facebook/rocksdb/pull/1433 Differential Revision: D4098740 Pulled By: IslamAbdelRahman fbshipit-source-id: 4903bffmain
parent
fcd1e0bf6c
commit
0a9fd05c2a
Loading…
Reference in new issue