From abb88cdbc2330b768fb9d94586c02a2cb0836b15 Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sat, 13 Apr 2019 21:33:54 -0400
Subject: [PATCH] Corrected naming on make-dh-strip-nondeterminism

---
 .../{make-dh-strip-nondeterminism => make-strip-nondeterminism}   | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename helpers/{make-dh-strip-nondeterminism => make-strip-nondeterminism} (100%)

diff --git a/helpers/make-dh-strip-nondeterminism b/helpers/make-strip-nondeterminism
similarity index 100%
rename from helpers/make-dh-strip-nondeterminism
rename to helpers/make-strip-nondeterminism
-- 
GitLab