# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1680122526 -10800
# Node ID 831e2c1bf98040a925418a95010ace34e20b2ac7
# Parent  0d77f5f13675c3ef914ecf057958a2d6ba693a25
Completed migration from ~/devel to ~/work.

diff -r 0d77f5f13675 -r 831e2c1bf980 .env.bash
--- a/.env.bash	Mon Feb 27 01:12:44 2023 +0200
+++ b/.env.bash	Wed Mar 29 23:42:06 2023 +0300
@@ -19,8 +19,8 @@
 
 export TIME_STYLE=long-iso
 
-# Easy cd to often used dirs. Decided transition from ~/devel to ~/work.
-export CDPATH=.:$HOME:$HOME/work:$HOME/devel:$HOME/my
+# Easy cd to often used dirs.
+export CDPATH=.:$HOME:$HOME/work:$HOME/my
 
 my_path_prune() {
   if [[ :$1: =~ (.*):$2: ]]; then