diff options
author | Chris Mumford <cmumford@google.com> | 2019-05-02 13:59:41 -0700 |
---|---|---|
committer | Victor Costan <pwnall@chromium.org> | 2019-05-02 19:05:04 -0700 |
commit | c784d63b931d07895833fb80185b10d44ad63cce (patch) | |
tree | d1e58949994764892bddb4bec0187a128b47fae3 | |
parent | 297e66afc1dda3f3d7a7cc2022030164c302cb7a (diff) | |
download | leveldb-c784d63b931d07895833fb80185b10d44ad63cce.tar.gz |
Moved port/README to port/README.md.
Easier to read on sites supporting Markdown (i.e. GitHub).
PiperOrigin-RevId: 246385089
-rw-r--r-- | port/README.md (renamed from port/README) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/port/README b/port/README.md index 8b17153..8b17153 100644 --- a/port/README +++ b/port/README.md |