view shelltools/edit-pr/Makefile @ 46:73e6dac29391

new stuff (checkpoint when moved between machines)
author David A. Holland
date Tue, 12 Aug 2014 21:55:08 -0400
parents 5f36d8d69aba
children
line wrap: on
line source

TOP=../..
include $(TOP)/mk/base.mk
include ../shelltools.mk

SCRIPT=edit.py

include $(TOP)/mk/script.mk