diff options
| author | louiz’ <louiz@louiz.org> | 2018-02-15 16:54:54 +0100 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2018-02-15 16:54:54 +0100 |
| commit | dbb86bcc12921576c270009537b81b951d2ed84f (patch) | |
| tree | 47006fb60bd6f9b72e2253191396a316e29992dd /conf/policy.txt | |
| parent | 505deda1763137fd807e16586c8a2e1aa978c647 (diff) | |
| download | biboumi-dbb86bcc12921576c270009537b81b951d2ed84f.tar.gz biboumi-dbb86bcc12921576c270009537b81b951d2ed84f.tar.bz2 biboumi-dbb86bcc12921576c270009537b81b951d2ed84f.tar.xz biboumi-dbb86bcc12921576c270009537b81b951d2ed84f.zip | |
Fix the actual_bind versions for integrals
Diffstat (limited to 'conf/policy.txt')
0 files changed, 0 insertions, 0 deletions