diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2023-10-17 16:09:24 +0000 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2023-10-17 16:17:33 +0000 |
commit | d0594b7d1233a383d69988e4694779401f7af613 (patch) | |
tree | ff6625d53a44007078a2b7d07529543a4aba8d94 /lib | |
parent | 5231f4d0be181e8d24b7752b3f965c2bf69824fc (diff) | |
download | dico-master.tar.gz dico-master.tar.bz2 |
* configure.boot (DEFAULT_PP_SETUP): New variable.
* dicod/Makefile.am (inc_DATA: Use DEFAULT_PP_SETUP.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions