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/repl.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/repl.texi')
0 files changed, 0 insertions, 0 deletions