From 98d9dbe1f7bb6e8c997b329c71434afae059214f Mon Sep 17 00:00:00 2001
From: Christopher Spinrath <admin@spinrath.net>
Date: Thu, 26 Feb 2015 22:49:39 +0100
Subject: [PATCH] Doku: java7-jdk renamed to default-jdk

---
 Doku/{java7-jdk.tex => default-jdk.tex} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename Doku/{java7-jdk.tex => default-jdk.tex} (100%)

diff --git a/Doku/java7-jdk.tex b/Doku/default-jdk.tex
similarity index 100%
rename from Doku/java7-jdk.tex
rename to Doku/default-jdk.tex
-- 
GitLab