]> rtime.felk.cvut.cz Git - frescor/demo.git/commit
projects / frescor / demo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f7170c) | patch
Update qresmod-refresh script
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 3 Apr 2011 16:39:17 +0000 (18:39 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 3 Apr 2011 16:39:17 +0000 (18:39 +0200)
commit3cedbb228c926a0fd62a2a25eaa6246cbda2f3bd
tree330595a44d9269b7e6d3107d4e6a5725ccb7a05etree | snapshot
parent3f7170c638bc19f876391580eed71352d04757ffcommit | diff
Update qresmod-refresh script

This change was on my disk and I do not fully remember why it was
needed but here it is.
scripts/qresmod-refresh diff | blob | history
Integration of FRESCOR demo