[Notion-commits] notion window manager core branch master updated. 59e5d5e95c00ae94775eb22368ba99b4b1c6a152

[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  59e5d5e95c00ae94775eb22368ba99b4b1c6a152 (commit)
      from  4d223baed3a21e5775a9abe9cff1adfabb8a865c (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 59e5d5e95c00ae94775eb22368ba99b4b1c6a152
Author: Philipp Hartwig <ph...@ph...>
Date:   Mon Nov 19 02:15:43 2012 +0100

    display -> goto_
    
    Display is not a good name and goto_ is closest to what we have right
    now.

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

Summary of changes:
 ioncore/ioncore_menudb.lua |    2 +-
 ioncore/region.c           |    2 +-
 mod_query/mod_query.lua    |    6 +++---
 3 files changed, 5 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
notion window manager core