From c40d6f0a5505569b81abaa6b3b70387112b77087 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Fri, 27 Oct 2017 19:54:48 +0200 Subject: [PATCH] Rename `tezos_protocol_sigs_packer` --- src/Makefile.files | 2 +- .../sigs_packer.ml} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename src/environment/{tezos_protocol_environment_sigs_packer.ml => sigs_packer/sigs_packer.ml} (100%) diff --git a/src/Makefile.files b/src/Makefile.files index 641af2fb6..763a91b09 100644 --- a/src/Makefile.files +++ b/src/Makefile.files @@ -1,7 +1,7 @@ SRCDIR ?= . -SIGS_PACKER:=environment/tezos_protocol_environment_sigs_packer +SIGS_PACKER:=environment/sigs_packer/sigs_packer PACKED_SIGS_V1:=environment/tezos_protocol_environment_sigs_v1 ENVIRONMENT_SOURCE_DIRECTORIES := \ diff --git a/src/environment/tezos_protocol_environment_sigs_packer.ml b/src/environment/sigs_packer/sigs_packer.ml similarity index 100% rename from src/environment/tezos_protocol_environment_sigs_packer.ml rename to src/environment/sigs_packer/sigs_packer.ml