summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Wilkins <john.wilkins@inktank.com>2013-09-09 11:19:21 -0700
committerJohn Wilkins <john.wilkins@inktank.com>2013-09-09 11:19:21 -0700
commit9c0970168bd8b41d2b803b31077216f61984e331 (patch)
treea33259619e93311166d331ad8ae9d03899090bf2
parent5900b43a8522b4f9b966c4588c2adbceabc1e4d3 (diff)
downloadceph-9c0970168bd8b41d2b803b31077216f61984e331.tar.gz
doc: Syntax fixes to stop gitbuilder warnings.
Signed-off-by: John Wilkins <john.wilkins@inktank.com>
-rw-r--r--doc/dev/versions.rst5
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/dev/versions.rst b/doc/dev/versions.rst
index f7da768f119..bf5ee252cd5 100644
--- a/doc/dev/versions.rst
+++ b/doc/dev/versions.rst
@@ -1,6 +1,7 @@
-==============
+==================
Public OSD Version
-==============
+==================
+
We maintain two versions on disk: an eversion_t pg_log.head and a
version_t info.user_version. Each object is tagged with both the pg
version and user_version it was last modified with. The PG version is