From 12c78d4e45ccc9b923cd300f981ef205fee1c650 Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Thu, 20 Oct 2016 14:18:01 +0200 Subject: COMMENTS: dev/doc/changes.txt --- dev/doc/changes.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'dev/doc/changes.txt') diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index c00167b62..1403b94ac 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -14,7 +14,8 @@ We renamed the following functions: We removed the following functions: - Termops.Termops.compact_named_context_reverse + Termops.compact_named_context_reverse ... practical substitute is Termops.compact_named_context + Namegen.to_avoid ... equivalent substitute is Names.Id.List.mem We renamed the following modules: -- cgit v1.2.3