diff options
| author | stuebinm | 2021-02-26 21:34:48 +0100 |
|---|---|---|
| committer | stuebinm | 2021-02-26 21:34:48 +0100 |
| commit | 7352984a5c3bc35f20184ddff97daea93f6b3738 (patch) | |
| tree | 1f272b19fb2048560941b5cedb781ae67ba07ead /.gitignore | |
| parent | c530245617f9e224b205f6f0efd9fb7f90c0183a (diff) | |
Deduplicate workadventure sources
Maximal sharing means that even if the workadventure sources are imported
in all nix files, there will still only be one copy of it in the nix store
--- nevertheless, it seems reasonable to only have them once in the code,
too, if only to make upgrading them easier.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions