aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-15 20:58:08 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-15 20:58:08 +0000
commita0ac5af0b21c79a65d8657f762ff5324bd2419ae (patch)
tree2237ece805bf1a6e3b58d96827a30ac083ba1d7c /configure
parent2eac17fedc6b7ee47cf2a8b0f708107a1ae20e2f (diff)
Minor corrections in paper's text
Some minor corrections have been made in the paper's text to make things easier to read and be more formal.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions