diff options
| author | Leo Prikler <leo.prikler@student.tugraz.at> | 2021-01-03 00:29:22 +0100 |
|---|---|---|
| committer | Leo Prikler <leo.prikler@student.tugraz.at> | 2021-01-07 19:34:36 +0100 |
| commit | a72414832bd70a8312124874a3e6d6b91050aa96 (patch) | |
| tree | 2fd4dce8ea360ec958d08a694b42917ab484461d /gnu/packages/coq.scm | |
| parent | 579a5eff08e62b33ade5b57b4098b735a7860583 (diff) | |
gnu: Add materia-theme.
* gnu/packages/gnome-xyz.scm (materia-theme): New variable.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions