From a2f80a8a92f4201b166ca561f5a11c77ec564816 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Fri, 21 Jul 2017 10:49:55 -0700 Subject: [PATCH] devops/debian/doc-base: typo --- src/devops/debian/doc-base | 1 - 1 file changed, 1 deletion(-) diff --git a/src/devops/debian/doc-base b/src/devops/debian/doc-base index 4998e1135..77806bbef 100644 --- a/src/devops/debian/doc-base +++ b/src/devops/debian/doc-base @@ -1,7 +1,6 @@ Document: mit-scheme-pucked-devops Title: MIT/GNU Scheme Pucked Developer Operations Manual Author: Matt Birkholz - Abstract: The Developer Operations plugin for MIT/GNU Scheme Pucked contains tools for creating lint free source releases and managing build hosts producing binaries for them -- 2.25.1