Silence pushd and popd output
authorAntonio Ospite <ao2@ao2.it>
Tue, 20 Nov 2018 10:54:17 +0000 (11:54 +0100)
committerAntonio Ospite <ao2@ao2.it>
Tue, 20 Nov 2018 10:54:17 +0000 (11:54 +0100)
The output of pushd and popd can confuse drin users making them think
that the output is relevant to Drupal when instead the usage of pushd
and popd is just an implementation detail.

Silence the output to avoid the confusion.


No differences found