diff options
author | Ondřej Bárta <git@ondrej.it> | 2016-09-25 12:44:46 +0200 |
---|---|---|
committer | Sergey M․ <dstftw@gmail.com> | 2016-09-26 23:20:58 +0700 |
commit | d3dbb46330461c0c70c3aae47b69d27882cfc325 (patch) | |
tree | 7cde04091b80fae36452f5c9b546b27385c7333b /Makefile | |
parent | fffb9cff944cfab11f311900ee8138f28f7232d3 (diff) |
[promptfile] Fix extraction (Closes #10634)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions