diff options
Diffstat (limited to 'dist/default')
| -rw-r--r-- | dist/default/production/memoryfile.xml | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/dist/default/production/memoryfile.xml b/dist/default/production/memoryfile.xml index ad07adc..79b3d32 100644 --- a/dist/default/production/memoryfile.xml +++ b/dist/default/production/memoryfile.xml @@ -11,8 +11,8 @@      <memory name="program">        <units>bytes</units>        <length>16128</length> -      <used>4353</used> -      <free>11775</free> +      <used>4386</used> +      <free>11742</free>      </memory>    </executable>  </project> | 
