diff options
author | Francois Marier <francois@debian.org> | 2010-08-05 20:52:17 -0400 |
---|---|---|
committer | Francois Marier <francois@debian.org> | 2010-08-05 20:52:17 -0400 |
commit | 79cef0ebbb86de5ccac38255434d0d2bb18fb3c1 (patch) | |
tree | c52a30aed1698086e887ea80b989168416e18f17 /Makefile | |
parent | 2b73a8c304bf705eaa3b83526698e4278accdf46 (diff) | |
parent | 9fcb3bc29dfd429f521c4e40452197dc364310c3 (diff) |
Merge commit 'upstream/0.07.00'
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..27abede --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +open: + cil summary --is-open + +next-milestone: + cil summary --is-open --label=Milestone-v0.07 + +closed: + cil summary --is-closed + +clean: + find . -name '*~' -exec rm {} ';' + +.PHONY: issue-summary issue-list clean |