Commit 6a5abd62 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

runtime: Allow including <sys/lart.h> in DIVINE sources.

parent cccffacb
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment