diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-11 21:22:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-11 21:22:59 +0100 |
commit | 100e3d23b47d9d772d64dd0c7e596cd20de218b9 (patch) | |
tree | 993075dc9df26b3e3206d9d4a075e0adb83e586d /src/pl/edu/mimuw | |
parent | 9cf66b17165e3b4251dce84500e60f5ef090ba30 (diff) | |
parent | 0feb481f6dac0a7318b6d57f11574f2aaa658ef7 (diff) |
Merge pull request #103 from m-chrzan/use-fallbacks
Fix things
Diffstat (limited to 'src/pl/edu/mimuw')
0 files changed, 0 insertions, 0 deletions