[Notion-commits] notion window manager core branch master updated. 3-2014010901-348-ga3995ba

[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  a3995baf98c50c8150fd4fe36dbdf7d1325f9521 (commit)
      from  d95ace5f68b9b34a3e579e84d65231d2afd73cb8 (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 a3995baf98c50c8150fd4fe36dbdf7d1325f9521
Author: Arnout Engelen <arn...@bz...>
Date:   Tue May 27 22:50:23 2014 +0200

    Actually make the windows key the default meta key
    
    The documentation has already been updated in c688e57009b388c6b0586887ebee765a855c9958

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

Summary of changes:
 ioncore/Makefile        |    1 +
 ioncore/ioncore_ext.lua |   14 ++++++++++----
 2 files changed, 11 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
notion window manager core