diff options
| -rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000..91b305f --- /dev/null +++ b/GNUmakefile @@ -0,0 +1 @@ +include debian/Makefile.plb |
 |
index : pd-ext13 | |
| Debian dgit repo for package pd-ext13 |
| summaryrefslogtreecommitdiff |