From 23b82244151148a48870c92ae9888c9d7705a886 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 15 Jul 2017 16:36:12 +0100 Subject: [PATCH] Added basic description and license information. --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/README.md b/README.md index 2a1cd41..9d7b67f 100644 --- a/README.md +++ b/README.md @@ -1,2 +1,9 @@ # logicalhacking-zsh +Varous add-ons for zsh that are useful for members of the [Software Assurance & +Security Research Team](https://logicalhacking.com): +* **logicalhacking (theme):** An agnoster inspired prompt for zsh that, e.g., + shows the current Isabelle environment. + +## License +If not otherwise stated, all sub-projects are licensed under a MIT-style license.