update makefile
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
6879c27832
commit
60420faa44
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
|
@ -22,7 +22,7 @@ view:
|
|||
clean: all
|
||||
rm -rf ${DESTDIR}
|
||||
|
||||
public:
|
||||
pub:
|
||||
git push --mirror
|
||||
|
||||
#public: ask public-f
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue