diff options
Diffstat (limited to 'gi/posterior-regularisation/prjava/Makefile')
-rwxr-xr-x | gi/posterior-regularisation/prjava/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gi/posterior-regularisation/prjava/Makefile b/gi/posterior-regularisation/prjava/Makefile deleted file mode 100755 index bd3bfca0..00000000 --- a/gi/posterior-regularisation/prjava/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -all: - ant dist - -check: - echo no tests - -clean: - ant clean |