diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-11-30 19:01:37 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-11-30 19:01:37 -0500 |
commit | 665a152ab3300107fca647bf8256e86566eacd6d (patch) | |
tree | 8ac5fac747c9febafb5f4a36255ee7b713459925 /pcr/theide | |
parent | 95c84a13a4cdade12b13d92ce43b634b474ea0da (diff) |
toxic-git-0.7.0.r4.g8827082-1: updating version
Diffstat (limited to 'pcr/theide')
0 files changed, 0 insertions, 0 deletions