[Notion-commits] notion window manager core branch master updated. 70154f191205e37518c33171d93d73ff48f55ffa

[Arnout E. <rab...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "notion window manager core".

The branch, master has been updated
       via  70154f191205e37518c33171d93d73ff48f55ffa (commit)
      from  738e69431656cc0ce5d06e995d016ef0f1ee112d (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 70154f191205e37518c33171d93d73ff48f55ffa
Author: Arnout Engelen <arn...@bz...>
Date:   Tue Nov 15 00:01:49 2011 +0100

    correctly close 'bold' section

-----------------------------------------------------------------------

Summary of changes:
 man/notion.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
notion window manager core