diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2015-05-17 00:54:33 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2015-05-17 00:56:34 +0200 |
| commit | d0e23d42de133de706151411d8d4091d07904d29 (patch) | |
| tree | 3191d81ac887797f359e2577b1d22c7b9397a571 /nest/Makefile | |
| parent | 86f567e13c2202fc3c3a1ce49f9a35220a50f117 (diff) | |
Simplify flushing process
Related to changes from previous patch.
Diffstat (limited to 'nest/Makefile')
0 files changed, 0 insertions, 0 deletions