tree fef785c94642b92461b235b3ea0559a9f1ef1e8c
parent dd61fef7a8f9b858b1616cb17de673ce834fc782
author Johannes Jörg Schmidt <jo@die-tf.de> 1426676353 +0100
committer Johannes Jörg Schmidt <jo@die-tf.de> 1426676353 +0100

Fix docs: doc_name has been renamed to docName