[Notion-commits] notion window manager core branch master updated. 914682ef4e50e7674e9e0352b2beb2c0335cf609

[Philipp H. <aop...@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  914682ef4e50e7674e9e0352b2beb2c0335cf609 (commit)
      from  59e5d5e95c00ae94775eb22368ba99b4b1c6a152 (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 914682ef4e50e7674e9e0352b2beb2c0335cf609
Author: Philipp Hartwig <ph...@ph...>
Date:   Mon Dec 3 22:08:51 2012 +0100

    Change documentation of WRegion.goto_

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

Summary of changes:
 ioncore/region.c |    6 +-----
 1 files changed, 1 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
notion window manager core