diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-05-09 09:14:46 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-05-09 09:14:46 +0200 |
| commit | 19a787a1a96c8a7eb4275881b19cc59f8f2f2c99 (patch) | |
| tree | 320225719914a94845ef905b6c99c81a7e5b5ba0 /profiles | |
| parent | f6de33d9b8231e06157098bf3371f36c35c69407 (diff) | |
| download | gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.tar.gz gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.tar.bz2 gentoo-personal-overlay-19a787a1a96c8a7eb4275881b19cc59f8f2f2c99.zip | |
Add gnu time to devel profile
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/devel/packages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages index 9f3eee0..9272f2b 100644 --- a/profiles/devel/packages +++ b/profiles/devel/packages @@ -40,6 +40,7 @@ dev-libs/uthash # Openwrt dev-vcs/subversion dev-util/ccache +sys-process/time # For OpenWRT but just for my purposes sys-fs/squashfs-tools # For userlist-checker |