# HG changeset patch # User Aurelien Campeas # Date 1285240229 -7200 # Node ID f2e925ae7122a443b646abd6ce250b23bdfcf7be # Parent 20a7399ed58d35ee519d0d267082b6e9663b8f87 [doc/book] make it colorful diff -r 20a7399ed58d -r f2e925ae7122 doc/book/en/devrepo/repo/sessions.rst --- a/doc/book/en/devrepo/repo/sessions.rst Thu Sep 23 13:04:01 2010 +0200 +++ b/doc/book/en/devrepo/repo/sessions.rst Thu Sep 23 13:10:29 2010 +0200 @@ -33,7 +33,7 @@ session = self.repo.internal_session() try: - # do stuff + do_stuff_with(session) finally: session.close()