diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-06 23:24:56 +0200 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-06-06 23:24:56 +0200 |
| commit | 1ce0ccac29fd6ad7d3c0c404cc135633a00c2d40 (patch) | |
| tree | 69137403229d7639e7b90db6ad015ee9e3b2dc54 /tools/addheader | |
| parent | 840c5f9b9882043a1e72eb9ce9ded4a3554273b7 (diff) | |
| parent | 3fb3b7c1f7609f73b6992b43316e2a52764f09db (diff) | |
Merge pull request #5059 from J08nY/directory-support
Somewhat fixed Directory::get_space_left() return values.
Diffstat (limited to 'tools/addheader')
0 files changed, 0 insertions, 0 deletions