diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-04-14 01:46:17 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-04-14 01:46:17 +0200 |
commit | ecb1cabe6e7c0061377f3858b1933e71a3215781 (patch) | |
tree | 243c4bed3fe3ac0607691058b4fa2cd3a545ead9 /doc/install.texi | |
parent | 79fc9c177126ee149637b0e9d242b7d3982e3427 (diff) | |
download | geiser-ecb1cabe6e7c0061377f3858b1933e71a3215781.tar.gz geiser-ecb1cabe6e7c0061377f3858b1933e71a3215781.tar.bz2 |
Adding proper entries to load-path (fixes #246)
And we also take the chance to let add-to-list do its job of not
adding duplicates.
Diffstat (limited to 'doc/install.texi')
0 files changed, 0 insertions, 0 deletions