diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-10-06 11:39:45 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-10-06 17:20:47 +0200 |
| commit | 69d7a057032796618ec6ff2d1560cf4ee1532dff (patch) | |
| tree | dda4d697c717385476fbff0edb7fddc95a8700f5 /sys-apps | |
| parent | app-emacs/company-mode: bump to 0.10.0 (diff) | |
| download | gentoo-69d7a057032796618ec6ff2d1560cf4ee1532dff.tar.gz gentoo-69d7a057032796618ec6ff2d1560cf4ee1532dff.tar.bz2 gentoo-69d7a057032796618ec6ff2d1560cf4ee1532dff.zip | |
dev-lang/boogie: disable analyzers
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sys-apps')
0 files changed, 0 insertions, 0 deletions