[Notion-commits] notion window manager core branch master updated. 80bf4eca0f047c716baaf06e7278a83239e27d9a

[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  80bf4eca0f047c716baaf06e7278a83239e27d9a (commit)
      from  19c0bba27e1b5872d7b1bb2cca9384ecf409ea41 (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 80bf4eca0f047c716baaf06e7278a83239e27d9a
Author: Arnout Engelen <arn...@bz...>
Date:   Sat Mar 2 23:16:40 2013 +0100

    Introduce 'make dist' as a './predist.sh' replacement

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

Summary of changes:
 Makefile       |   12 ++++++++++++
 nextversion.sh |   18 ++++++++++++++++++
 predist.sh     |   41 -----------------------------------------
 3 files changed, 30 insertions(+), 41 deletions(-)
 create mode 100755 nextversion.sh
 delete mode 100755 predist.sh


hooks/post-receive
-- 
notion window manager core