diff options
Diffstat (limited to 'editors/gawk/HISTORY')
| -rw-r--r-- | editors/gawk/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editors/gawk/HISTORY b/editors/gawk/HISTORY index f9855ae5e5..6b14fd6cc0 100644 --- a/editors/gawk/HISTORY +++ b/editors/gawk/HISTORY @@ -1,3 +1,6 @@ +2012-03-31 Ladislav Hagara <hgr@vabo.cz> + * DETAILS: 4.0.1 + 2011-09-25 Bor Kraljič <pyrobor@ver.si> * DETAILS: added ":UPSTREAM_KEY" to SOURCE_GPG |