Dave Halter 503fe3da67 revert to old doc property, the doc.full() call was not backwards compatible and has since been reverted within Jedi

2014-04-23 12:08:58 +02:00

17 KiB

Raw Blame History

View Raw